{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# 用户社交数据（user_friends.csv）处理\n",
    "（只取训练集和测试集中出现的用户ID）\n",
    "\n",
    "数据来源于Kaggle竞赛：Event Recommendation Engine Challenge，根据\n",
    "events they’ve responded to in the past\n",
    "user demographic information\n",
    "what events they’ve seen and clicked on in our app\n",
    "用户对某个活动是否感兴趣\n",
    "\n",
    "竞赛官网：\n",
    "https://www.kaggle.com/c/event-recommendation-engine-challenge/data\n",
    "\n",
    "user_friends.csv文件：共2维特征\n",
    "user：用户ID\n",
    "friends：以空格隔开的用户好友ID列表"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# 导入工具包"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 43,
   "metadata": {},
   "outputs": [],
   "source": [
    "import pandas as pd\n",
    "\n",
    "import numpy as np\n",
    "import scipy.sparse as ss\n",
    "import scipy.io as sio\n",
    "\n",
    "#保存数据\n",
    "import pickle\n",
    "\n",
    "from sklearn.preprocessing import normalize"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "总的用户数目超过训练集和测试集中的用户，\n",
    "为节省处理时间和内存，先去处理train和test，得到竞赛需要用到的活动和用户\n",
    "然后对在训练集和测试集中出现过的事件和用户建立新的ID索引\n",
    "先运行user_event.ipynb,\n",
    "得到事件列表文件：PE_userIndex.pkl"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# 读取之前算好的测试集和训练集中出现过的用户"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 44,
   "metadata": {
    "scrolled": true
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "number of users in train & test :3391\n"
     ]
    }
   ],
   "source": [
    "#读取训练集和测试集中出现过的事件列表\n",
    "userIndex = pickle.load(open(\"PE_userIndex.pkl\", 'rb'))\n",
    "n_users = len(userIndex)\n",
    "\n",
    "print(\"number of users in train & test :%d\" % n_users)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# 读取之前用户-活动分数矩阵，将朋友参加活动的影响扩展到用户"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 45,
   "metadata": {},
   "outputs": [],
   "source": [
    "#用户-事件关系矩阵\n",
    "userEventScores = sio.mmread(\"PE_userEventScores\")\n",
    "\n",
    "#后续用于将用户朋友参加的活动影响到用户\n",
    "eventsForUser = pickle.load(open(\"PE_eventsForUser.pkl\", 'rb'))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 46,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "defaultdict(<class 'set'>, {1185: {5184, 2596, 6926, 3575, 3483, 8414}, 384: {1534, 1738, 5678, 8369, 7221, 3255, 4670}, 1487: {5345, 11010, 3587, 7184, 3701, 2296}, 2891: {1928, 7408, 12981, 6233, 8730, 8121}, 2905: {7592, 12506, 12045, 6323, 7542, 5306}, 2845: {4800, 3233, 1926, 423, 12263, 9063, 9649, 977, 9622, 7702, 5976, 10486, 2331, 8408}, 593: {12640, 1698, 9287, 4589, 3995, 3771}, 228: {11904, 8101, 9063, 2569, 3025, 13367}, 2294: {2784, 5134, 5299, 8758, 1944, 11898, 13308}, 269: {1440, 9608, 2859, 12812, 1523, 10781}, 2777: {768, 3650, 12186, 5435, 4636, 1183}, 2401: {3270, 362, 3153, 1589, 12028, 7869}, 824: {3013, 1190, 9100, 4557, 5051, 3581}, 2558: {9985, 6668, 6926, 11920, 146, 11930, 6828, 2866, 310, 4156, 5184, 10182, 10955, 7755, 10450, 7381, 5718, 12634, 9063, 2164, 3575}, 2926: {3043, 2820, 13004, 6290, 12855, 8729}, 3093: {5184, 9063, 6668, 1965, 6926, 3575, 5435, 4156, 3133}, 3166: {1058, 9031, 6857, 5171, 8213}, 3016: {33, 3463, 12107, 3980, 3918, 509}, 709: {11944, 5418, 6413, 9776, 2327}, 1890: {9312, 10692, 1191, 11242, 5932, 3919}, 3146: {5858, 6181, 11943, 3346, 13180, 8669}, 3186: {5184, 9985, 9063, 6926, 8882, 7381, 3575, 4156}, 2895: {6657, 7139, 5641, 4692, 2810, 8060, 2333}, 316: {13314, 4935, 2612, 13080, 9531, 6429}, 2105: {5538, 1738, 3436, 5678, 10171, 8029}, 3322: {2216, 12462, 12686, 4176, 10681, 13180}, 80: {12801, 11301, 5285, 13358, 7630, 6228}, 3238: {2691, 4271, 11668, 2357, 8790, 3996}, 1906: {12418, 6915, 7714, 11600, 11831, 2617, 11479}, 1061: {8228, 12933, 4718, 8174, 3952, 11384, 9147}, 715: {9378, 7047, 9063, 11022, 8722, 6805, 10709, 4156}, 2998: {1699, 7493, 5735, 6089, 11084, 855, 2492}, 720: {4176, 4418, 11707, 3191}, 3043: {455, 12871, 12618, 2668, 2483, 8405, 5342, 8636, 2749, 10078}, 2300: {9194, 4939, 3660, 6730, 8845, 7419, 2770, 7475, 3125, 4534, 10037, 5659}, 2884: {1738, 8029, 109, 10832, 2237, 8093}, 3237: {9987, 2858, 3863, 11597, 11759, 2967}, 34: {5184, 9063, 2856, 10408, 5675, 6926, 3444, 3575, 3133}, 3158: {1376, 8257, 10833, 5750, 6839, 8991}, 2855: {8064, 3629, 5680, 6641, 9011, 1524, 5685, 3351, 4600}, 1531: {10114, 10531, 2691, 12933, 3952, 1073, 13333}, 1901: {4710, 5102, 10287, 10196, 5432, 13209}, 169: {2784, 12462, 13363, 9365, 3576, 8956, 5341}, 3355: {295, 3848, 11082, 2411, 2932, 5559, 11901}, 263: {8385, 12195, 11400, 12939, 8781, 11760, 1106, 5395, 7160, 4604, 8925, 7551}, 475: {3427, 11310, 12462, 6958, 11156, 8213, 4660, 6583, 3576, 12377, 13018, 10878, 447}, 1031: {10884, 7181, 12686, 5012, 9300, 8858, 5628}, 2575: {5189, 5033, 9325, 242, 2547, 12669}, 3254: {12224, 11169, 4738, 3264, 10643, 9652}, 1147: {7368, 9649, 6101, 12342, 3575, 2331}, 2968: {507, 1940, 1117, 8039}, 2297: {5184, 2273, 13312, 2947, 1408, 4647, 9063, 1609, 6668, 5933, 6926, 9264, 3575, 5848, 1306, 4156, 3133, 13343}, 1591: {11649, 7306, 4493, 8718, 3345, 11416, 923, 12960, 11552, 12194, 8238, 4671, 7618, 4940, 7119, 5201, 2515, 8797, 7264, 1889, 1760, 4448, 12136, 8937, 7402, 7790, 1263, 10101, 7158}, 1640: {2626, 6403, 9832, 308, 9497, 13180}, 619: {4997, 6470, 3304, 10571, 1172, 4473}, 853: {12011, 12524, 12686, 12462, 1944}, 2349: {10088, 12203, 4429, 8463, 54, 796, 159}, 3228: {12170, 12080, 11122, 3670, 156, 8159}, 491: {8928, 7168, 4034, 4624, 6066, 9268}, 2395: {9063, 3499, 6926, 2164, 9524, 3575, 4156, 3133}, 2897: {1346, 3362, 10567, 9063, 8841, 1163, 4237, 310, 3575, 4156}, 3288: {12640, 12227, 6884, 11145, 6730, 6958, 9363, 2806}, 3312: {10575, 11439, 12785, 6998, 3094, 6072, 7833}, 2482: {4544, 12462, 1678, 5968, 11220, 10681, 11163}, 3241: {2985, 299, 11085, 12627, 10103, 8217, 2397}, 254: {3575, 7047, 9063, 4156, 6007, 7964}, 2818: {8225, 6758, 4934, 4746, 3341, 7952, 10709, 3254, 3831, 8444}, 832: {10114, 2691, 3952, 4916, 13333, 8634, 539}, 3358: {1286, 11049, 1738, 8029, 10171, 2237}, 1691: {6209, 1892, 10853, 3108, 3177, 9676, 6993}, 1199: {12999, 11691, 5708, 6028, 1711, 9015}, 1345: {9216, 1769, 9539, 4619}, 1414: {1537, 6785, 5411, 6184, 2025, 4586, 171, 7690, 1134, 2452, 12564, 12735}, 3331: {4832, 2784, 3010, 5386, 13368, 12637}, 1071: {3598, 12399, 6583, 11992, 442, 9214}, 1116: {12933, 7687, 8174, 3952, 3888, 7319}, 22: {9063, 5617, 3575, 1914, 507, 4156, 7261}, 1900: {11840, 1738, 3436, 109, 4980, 4670}, 1582: {3427, 7558, 6314, 4140, 12462, 13071, 11064, 12377}, 1785: {4128, 9673, 6857, 11311, 6525}, 3115: {196, 3397, 11882, 2162, 4564, 4885}, 1765: {5184, 9985, 6360, 1959, 9064, 6926, 2577, 49, 5235, 9976, 12025, 2719}, 1624: {12022, 11127, 3800, 1788, 6814, 383}, 976: {3744, 8484, 4485, 5705, 9705, 8722, 5045}, 2304: {13121, 7300, 6374, 9559, 1914, 10622}, 423: {549, 9637, 9639, 171, 7661, 2769}, 1670: {2528, 3428, 7654, 1640, 11221, 9397, 5821, 11806}, 2523: {1058, 3045, 11847, 5513, 8585, 11017, 664, 11897, 6008, 9625, 12860, 10270, 7001}, 1101: {10305, 9063, 1896, 3575, 3803, 4156}, 3351: {10529, 2630, 10504, 11181, 12272, 12374}, 581: {2691, 1606, 8614, 7687, 3952, 4916, 12760}, 1403: {6759, 4494, 7193, 5308, 223}, 2592: {8513, 4201, 5229, 7410, 9780, 319}, 1244: {11776, 4292, 8870, 9518, 11534, 8500}, 2631: {38, 9063, 9194, 3022, 6259, 7382, 3254, 13375}, 2550: {1, 9000, 13201, 1269, 7383, 7546}, 1167: {1922, 4707, 11943, 11945, 7914, 5393, 10873}, 2132: {5184, 9985, 9063, 6926, 2103, 3575, 5566}, 1593: {12962, 3111, 2856, 9063, 2431, 4592, 6801, 11921, 11987, 310, 3575, 7261, 3039}, 28: {7296, 11298, 6221, 4885, 2200, 474, 10555}, 3194: {3497, 13258, 5521, 2963, 12283, 4828}, 2508: {9570, 11652, 12166, 12139, 5943, 3191, 7102}, 1547: {6530, 4528, 3635, 6261, 5206, 5461, 10171, 12252}, 301: {5122, 4133, 6760, 6799, 3023, 3442}, 1552: {5506, 4584, 9833, 13011, 11642, 315}, 1163: {673, 10596, 964, 7051, 5179}, 3002: {5184, 8613, 9063, 7719, 6668, 6926, 5009, 10452, 245, 12053, 3575, 13367, 4156}, 1592: {2598, 11339, 12462, 4462, 12686, 4638}, 419: {8400, 11273, 10108, 8040}, 680: {6402, 12462, 8398, 4176, 2324, 12502}, 582: {2691, 7687, 3952, 4916, 13333, 7319}, 2535: {5088, 4357, 10637, 4430, 2222, 4850, 8787, 3610}, 2745: {7368, 6988, 11055, 9458, 10681, 1498}, 1949: {2889, 2218, 497, 12379, 6974}, 1246: {11840, 4670, 5678, 2420, 3319, 3255, 798}, 264: {9063, 7368, 9649, 12342, 3575, 1498}, 893: {10188, 9421, 6958, 10837, 3480, 13018}, 2501: {1216, 1953, 1732, 1989, 10121, 6251, 12212, 8952}, 225: {4720, 3316, 3956, 3127, 2456, 8894}, 992: {10531, 12933, 9930, 8174, 3952, 13331}, 1842: {8160, 5570, 9351, 1496, 6249, 8621, 10607, 12976, 11700, 7317, 10966, 10325, 3832, 6010, 7483, 12892, 9341}, 1912: {9344, 12611, 7558, 6125, 3703}, 3260: {12640, 6656, 12224, 6884, 1926, 10485}, 1521: {9731, 5069, 4525, 5713, 10075, 7326}, 1171: {5507, 4199, 11312, 4402, 10708, 9402}, 1980: {12263, 7368, 617, 11086, 9649, 6101, 1498}, 759: {1, 1892, 9639, 12457, 9676, 6221, 7546, 2609, 4116, 12917, 11002, 894, 7103}, 1273: {2821, 2856, 5617, 408, 1914, 8605}, 2842: {9986, 2147, 1123, 8102, 6281, 3946, 9806, 11091, 2741, 3190, 8375, 1429, 8701, 2494}, 2020: {2784, 1349, 4389, 9577, 4650, 5648, 8087, 12914, 7639, 7832, 12441, 859}, 635: {2691, 7785, 4718, 3952, 4916, 7319}, 691: {13251, 2695, 13326, 5141, 8729, 8348}, 647: {5184, 9985, 2306, 10305, 9063, 7048, 10668, 6926, 334, 4656, 7727, 13330, 3575, 5816, 4156}, 364: {4385, 7366, 9964, 12526, 5021, 7185, 10098, 6132, 2073, 2331, 7484, 733}, 2137: {2691, 12933, 8614, 938, 8174, 3952, 539}, 359: {2122, 10894, 2417, 2449, 11829, 3448}, 2226: {11136, 10600, 6828, 1516, 12339, 11930, 3803, 4156}, 888: {8929, 9289, 9803, 1846, 11352, 5116}, 2766: {416, 6401, 355, 2468, 8741, 12934, 10986, 7759, 2192, 2737, 850, 1425, 4848, 8399, 12694, 6231, 3128, 13174, 8090, 6876}, 149: {12933, 3559, 8174, 3952, 2388, 11384}, 2398: {2691, 7687, 3952, 5872, 4916, 11384}, 1256: {11016, 7468, 8144, 7891, 9206, 1656}, 3064: {13127, 4556, 8109, 6958, 5331, 10837}, 938: {7010, 13065, 3147, 9197, 4622, 12884}, 1808: {13134, 7738, 5022, 6583}, 654: {11717, 9063, 9194, 10997, 13243, 4156}, 434: {10976, 6790, 2766, 12565, 13178, 6302}, 633: {8614, 938, 5872, 3952, 13333, 9147}, 617: {771, 3043, 2223, 9583, 2415, 12851, 9556, 2006, 13180}, 117: {5859, 2916, 11145, 6667, 1075, 12602, 4638, 12767}, 1267: {12455, 5362, 10295, 5660, 9214, 11807}, 2061: {9763, 9063, 5705, 44, 1870, 8722, 6420, 6805, 12342, 3575, 4156}, 3152: {2691, 12933, 8174, 3952, 4916, 7319}, 1714: {2691, 938, 3888, 3952, 4916, 2781}, 753: {5765, 9063, 5705, 11086, 2331}, 142: {4835, 10571, 7339, 11151, 6128, 1172, 2039, 8858}, 2811: {2176, 3497, 6153, 6157, 11414, 8891}, 2321: {3138, 4616, 6441, 3243, 7597, 1423}, 2433: {12006, 10793, 11060, 5237, 3580, 1310}, 219: {4035, 6856, 11126, 9559, 12828, 3614}, 1122: {2849, 4613, 37, 2635, 2060, 5080}, 2035: {12417, 12511, 7715, 11978, 6765, 13104, 5375}, 965: {7841, 9063, 5705, 7886, 11086, 9649, 6101, 12342, 3575, 4156}, 415: {12456, 11370, 4043, 12787, 3546, 3611}, 1445: {10531, 11715, 938, 9930, 13333, 7319}, 3075: {2691, 8228, 8614, 3952, 539, 9147}, 843: {2691, 8614, 7687, 5872, 3952, 4916}, 1189: {8518, 10108, 5617, 10773, 8892, 7261, 10844}, 1022: {4292, 12972, 5324, 13263, 8496, 10451, 10517, 10970, 10844, 1695}, 2468: {11394, 10662, 9971, 11347, 11669, 1526, 2109}, 1330: {3361, 6288, 11830, 2103, 3994, 1399}, 2170: {9603, 5194, 9198, 5583, 4699, 8031}, 3056: {7841, 9063, 7368, 6988, 4014, 11738, 4156}, 1764: {4614, 76, 12621, 7310, 10608, 338, 11478, 12534, 183}, 2868: {4832, 8321, 10884, 9300, 8694, 186}, 2726: {4740, 9063, 7698, 567, 4156, 10844}, 237: {962, 7270, 10152, 5451, 9360, 12727, 9560, 8030}, 3364: {2081, 1411, 9063, 9194, 8845, 1424, 2770, 10037, 4534, 603}, 1658: {12377, 11310, 13071, 3764, 5429, 2455, 8729}, 1084: {899, 8355, 720, 10356, 2297, 7226}, 540: {4128, 1633, 8962, 843, 12171, 12651, 1487, 8658, 12531, 11287, 11992, 7673, 5757, 3039}, 1344: {10501, 7975, 6538, 4879, 12603, 8188}, 2432: {6058, 8782, 2805, 11862, 12664, 10362}, 1369: {8576, 8672, 6240, 992, 9194, 747, 8845, 3151, 12568, 925}, 2174: {2979, 2756, 11079, 4872, 10696, 5003, 10709, 8444, 5790}, 990: {6209, 2850, 3108, 9717, 7383}, 2640: {3360, 1280, 8003, 12048, 11701, 3454}, 646: {9186, 2244, 12342, 11510, 6232, 4698, 5021}, 3377: {12128, 11209, 6634, 3671}, 736: {10819, 7076, 5959, 10218, 2606, 7476, 6487, 4440}, 1945: {2784, 4128, 9955, 38, 12686, 11738}, 3125: {6922, 3920, 3092, 9909, 5176, 7838}, 2944: {6274, 11049, 9707, 3436, 109, 605, 8062}, 2329: {11840, 1738, 109, 5678, 3319, 10171}, 1792: {2432, 6116, 13095, 3144, 1426, 1268, 1112}, 102: {5223, 7368, 8758, 7385, 1498, 603}, 1744: {4611, 7716, 3558, 2798, 3439, 11919, 9844, 7318, 1336, 11869}, 3089: {1538, 12227, 10382, 4176, 5712, 8051, 9397, 8758, 11319, 5661}, 2987: {6153, 5849, 3893, 7639, 12441, 8891}, 1616: {8577, 545, 2371, 9222, 3290, 12253}, 811: {12896, 10720, 4408, 6329, 13317, 11909, 2311, 13128, 7580, 523, 7756, 11891, 982, 8792, 11513, 6299, 9884, 12733, 11007}, 2687: {2691, 8614, 7687, 3952, 3888, 4916}, 923: {11934, 3805, 2334, 10391}, 2739: {5184, 9063, 968, 12652, 6926, 3575}, 789: {938, 4718, 3952, 7319, 7640, 11384}, 1950: {10531, 8614, 1606, 7687, 4718, 3952, 7319}, 3061: {10531, 8228, 12933, 4718, 10063, 3952}, 2677: {8995, 9415, 809, 10768, 3059, 3582}, 3334: {10532, 10718, 1419, 12497, 3800, 6814}, 2512: {1830, 6441, 4880, 5169, 7059, 638}, 1312: {11297, 9441, 5955, 6030, 8048, 5906, 701}, 2112: {4707, 11945, 11241, 7914, 2351, 12593, 7606, 2455, 7638, 12854, 4407, 10141, 8223}, 1816: {9063, 11052, 9808, 310, 3575, 4156}, 331: {11393, 11852, 10801, 13202, 1650, 12308, 12789, 6454, 8729}, 3024: {5146, 9063, 2994, 9559, 1914, 4636}, 2200: {5345, 4517, 2100, 10365, 3293}, 175: {10241, 2934, 2711, 9464, 10745, 7001}, 110: {7841, 9063, 5705, 6101, 3575, 2331, 4156}, 2287: {6021, 1543, 1417, 9649, 8755, 1498, 10622}, 1705: {12420, 5960, 7251, 5235, 9559, 7579}, 902: {10147, 2691, 8614, 5872, 3952, 9147}, 1601: {2592, 12005, 4521, 10155, 4663, 10623}, 1059: {5184, 5248, 9063, 3978, 6926, 3575, 5946}, 1944: {11264, 11010, 3587, 7184, 12500, 2296}, 394: {2691, 8614, 7687, 3952, 4916, 13333}, 1771: {5767, 10600, 4143, 11930, 12474, 4156}, 815: {9063, 10696, 5003, 3341, 3575, 13083, 8444, 7901}, 64: {2691, 8228, 12933, 3952, 4916, 8634}, 150: {9474, 5772, 3757, 9166, 12111, 2846}, 2010: {12741, 778, 12107, 3572, 12952, 3482, 7352}, 836: {12708, 5957, 8819, 11643, 9215}, 474: {577, 9002, 9965, 12814, 9815, 8184, 1373, 7006, 1439}, 1867: {8493, 5937, 466, 4145, 1016}, 2802: {9699, 2888, 303, 11507, 445, 12927}, 1518: {5184, 9985, 9063, 12652, 3575, 1914}, 2223: {1757, 10857, 10474, 5258, 7532, 8236, 9754, 7292, 989, 94}, 1732: {12065, 7173, 9061, 8869, 10798, 4751, 11229}, 3004: {8493, 11309, 142, 4914, 12313, 6110}, 3319: {13057, 257, 13315, 7815, 12302, 10646, 28, 4127, 11042, 6566, 7463, 9640, 5803, 12230, 12499, 7892, 6997, 8406, 6491, 7529, 13296, 6906, 2428}, 1470: {935, 171, 12591, 3956, 4885, 12917, 4223}, 2949: {9442, 4197, 2855, 9998, 7090, 11446}, 2145: {9792, 8450, 5321, 8428, 9392, 2938}, 421: {11754, 9035, 2539, 5172, 7674, 9503}, 121: {7875, 5414, 8298, 6321, 6838, 4409}, 1129: {2720, 1952, 1189, 11025, 2132, 5438}, 3211: {6599, 9036, 2257, 1303, 5403, 3198}, 852: {12160, 11776, 7486, 4966, 6136, 4348, 10814}, 2073: {7368, 4168, 12202, 11086, 2415, 10576, 9649, 3254, 1498}, 1891: {9029, 38, 13034, 5518, 3254}, 2286: {6857, 3377, 3346, 2652, 6525, 2462}, 1828: {12686, 11310, 12377, 11741, 10622}, 2611: {2595, 2118, 846, 4943, 9456, 10418}, 1847: {12710, 11339, 1390, 4086, 3639, 10681}, 1168: {5858, 1091, 6857, 4140, 5329, 3346, 11797}, 3274: {9407, 9063, 12371, 4828, 2942, 9727}, 2685: {2759, 1516, 7249, 310, 3575, 1823}, 3172: {9344, 6691, 3043, 6087, 12462, 13015}, 3: {2691, 12933, 8614, 3952, 13333, 9147}, 3138: {4292, 5324, 718, 1970, 12313, 6717}, 2704: {6688, 9029, 2351, 10289, 1787}, 821: {9063, 5705, 8722, 12342, 3575, 13083}, 1863: {8769, 13156, 11311, 1075, 10270}, 3179: {10149, 12973, 2477, 16, 4281, 12668}, 488: {582, 4874, 7218, 11001, 3323, 10233}, 454: {6656, 6788, 12038, 4231, 11148, 1040, 4626, 9748, 1571, 819, 4660, 10550, 6583, 8516, 5070, 11092, 13018, 3681, 3683, 3049, 1771, 3183}, 1824: {2691, 10147, 5872, 3952, 4916, 9147}, 108: {8069, 11081, 4653, 3951, 9840, 9406}, 1676: {8415, 13349, 6757, 1766, 6599, 10982, 2171, 5403, 4471, 4027, 763, 10815}, 2538: {2469, 13223, 8586, 6444, 3414, 6718}, 1372: {4356, 12710, 12167, 4204, 4176, 4241, 11220}, 1896: {5349, 3923, 11511, 5018, 6684, 6014}, 2371: {10531, 10147, 12933, 8174, 3952, 3249}, 1324: {10114, 11715, 550, 938, 9930, 333, 3888, 10610, 13333, 7319}, 606: {10466, 1797, 13167, 8664, 7836, 11645}, 3217: {675, 6181, 6794, 8844, 2125, 6584}, 3020: {5184, 13121, 9985, 9063, 6926, 3381, 3575, 13081}, 476: {6144, 5702, 4858, 5870, 1647, 5242}, 2296: {12933, 8614, 8174, 3952, 13333, 7319}, 3342: {1738, 3436, 109, 5363, 10171, 8029}, 2224: {5184, 9985, 9063, 6926, 3575, 9559}, 1457: {2880, 12352, 12514, 11080, 10002, 11768}, 3306: {13348, 849, 5553, 9841, 3575}, 3106: {9345, 7940, 10919, 2216, 1767, 11943, 12011, 12524, 8522, 12686, 10350, 12240, 12462, 3346, 4086, 12377, 8669, 9694}, 543: {7971, 7573, 9942, 7288, 10746}, 2898: {11009, 10503, 10666, 7087, 1391, 10802}, 1424: {6785, 9700, 7444, 4885, 11670, 894}, 737: {5765, 11945, 12462, 2455, 10394, 9245}, 1853: {10786, 2019, 12581, 4654, 2159, 12347}, 1439: {2114, 7624, 11373, 1904, 2162}, 2095: {9063, 8845, 7102, 7385, 2299, 4156, 10622}, 1696: {66, 5475, 2953, 8169, 91, 2557}, 2959: {1440, 4769, 4090, 3331, 12804, 10820, 2855, 11560, 2504, 942, 4944, 1523, 2677, 12664, 9210, 7611, 12029, 6814}, 3315: {9063, 2314, 4592, 3575, 4156, 10844}, 1222: {7940, 7914, 12686, 1296, 12980, 10997, 1944, 10681}, 2477: {5184, 4609, 9985, 9063, 6926, 3575}, 2812: {13411, 10024, 10186, 1356, 8815, 2072, 5627}, 2437: {2455, 4328, 4947, 3413, 12055, 991}, 377: {9345, 7940, 7214, 3470, 4182, 5852}, 2924: {5925, 4774, 2600, 5211, 10124, 12241, 9943, 3225, 11355, 10551}, 2892: {2691, 8614, 3952, 13333, 539}, 3161: {10114, 2691, 12933, 8174, 3952, 4916}, 1018: {12353, 8354, 4162, 11259, 8427, 1585, 6523, 9628}, 144: {3397, 3242, 7917, 11373, 2162, 4885, 12409}, 750: {2472, 2795, 12271, 6672, 1910, 11039}, 2374: {9063, 7406, 881, 3575, 1914, 5404}, 644: {6016, 2378, 6157, 4828, 637}, 1787: {3618, 6469, 4443, 6516, 9654, 10203}, 1796: {4193, 2308, 12912, 10489, 12250}, 2800: {5184, 9985, 9063, 11177, 5866, 6926, 3575}, 1200: {10050, 12646, 1483, 4363, 9389, 9229, 5396, 2590}, 2430: {11051, 1517, 3726, 4366, 12145, 6423}, 2234: {7650, 4271, 467, 11668, 4916, 3996}, 58: {6144, 6437, 5610, 3594, 5242}, 3381: {5223, 9063, 5705, 9194, 6706, 3254, 3575, 12342, 9500}, 1982: {12612, 6280, 3401, 9673, 11603, 8447}, 3167: {5184, 9063, 6926, 4305, 3575, 2362}, 1460: {5184, 8518, 9063, 3978, 6668, 6926, 3575, 4156}, 1947: {5184, 3575, 7719, 6926, 13367, 7261}, 951: {5158, 13168, 7992, 12443, 10365, 10206}, 3111: {10209, 9892, 2441, 6063, 591, 2811}, 2604: {8578, 1768, 7917, 6835, 10932, 4885, 9208, 2841, 11677}, 1684: {3817, 7788, 8534, 11609, 6363, 6814}, 2684: {2784, 3470, 11824, 2331, 1944, 6171}, 2561: {11334, 12263, 1360, 12179, 7606, 3545, 10622}, 1393: {1738, 109, 11887, 10171, 1534}, 3174: {2723, 10116, 11943, 8203, 8799, 10289, 2199, 7673, 3196, 1789, 6719}, 2772: {4768, 1281, 2564, 12681, 8528, 4627, 12345, 6236}, 579: {5605, 10277, 4393, 782, 2576, 1553, 4028}, 461: {9063, 1896, 4474, 3575, 9242, 4156}, 186: {4890, 10204, 8494, 3279}, 1530: {1638, 7922, 4307, 8791, 2875, 12348}, 2412: {2048, 161, 13062, 12775, 10190, 7989, 5790}, 2513: {224, 7975, 4459, 6096, 11959, 4121}, 61: {8609, 12203, 9013, 54, 8796, 159}, 3046: {2631, 1354, 12877, 7732, 5047, 12477}, 2529: {1539, 1219, 9320, 3221, 7481, 8826}, 2614: {1697, 4803, 4580, 7724, 8462, 9038, 11351}, 1538: {5121, 3682, 323, 8067, 6692, 2730, 4907, 12652, 6608, 9719, 6808, 1593, 1335}, 1431: {7905, 6331, 10653, 6615}, 1898: {3587, 5519, 3952, 9942, 10746, 3003}, 1446: {3520, 4417, 10788, 2981, 2062, 9807, 8851, 12148, 7071, 1753, 1404, 11359}, 574: {6567, 264, 7886, 12342, 3575, 11450, 2331}, 885: {4842, 12332, 11565, 1778, 4083, 4511}, 946: {6880, 6498, 10658, 10461, 7593, 12396, 6002, 1982, 6551, 1112, 5753, 9177, 8157, 9662}, 429: {4928, 13379, 1807, 8949, 10459, 2014}, 1461: {11755, 4657, 217, 7803, 668, 12254}, 554: {5257, 2605, 12269, 1359, 11159, 2395}, 913: {11717, 9063, 9194, 10415, 5945, 7129, 1023}, 1543: {4608, 5216, 12643, 8197, 328, 8972, 3500, 2510, 12940, 3981, 2353, 3698, 2450, 12185, 3260}, 2770: {13129, 12745, 1484, 2030, 2896, 7990, 2745, 6715, 13215}, 2288: {2894, 10287, 7091, 1236, 12925, 2527}, 895: {9314, 3043, 8900, 13127, 8109, 2324, 10837}, 47: {11310, 13071, 3663, 12980, 7606, 11190, 1787}, 3114: {7085, 12764, 12405, 5371, 12444, 9757, 1983}, 1946: {6820, 3338, 7729, 11447, 1020, 3487}, 1037: {6274, 9512, 4670, 3436, 5678, 8062, 605, 10654}, 1799: {11043, 10247, 2828, 10287, 184, 10207}, 621: {5184, 9985, 10757, 9063, 6926, 3575, 10844}, 2267: {5025, 11270, 9190, 6896, 6675, 10521, 12730, 8668}, 674: {264, 4042, 2331, 8506}, 2085: {2784, 12707, 8901, 264, 12362, 7786, 10732, 12686}, 2976: {12686, 8729, 4176, 11824, 12377, 5085}, 1320: {9194, 12810, 5644, 5518, 5455, 12059}, 2819: {13292, 977, 3957, 5080, 6618, 9147}, 657: {10400, 10695, 10991, 4551}, 541: {3043, 7172, 7918, 8593, 7766, 3932}, 2553: {5315, 6182, 10795, 6475, 3983, 9432, 11101, 8094}, 106: {2691, 12933, 8614, 7687, 8174, 3952, 3120, 5872, 4916, 13333, 539}, 2193: {4197, 2859, 2507, 7088, 11283, 628}, 325: {9159, 9063, 10955, 6668, 6926, 3575, 1914, 4156}, 3369: {6437, 5242, 10727, 3184, 9429, 9178}, 1007: {7650, 10821, 6033, 4916, 8726, 9147}, 1892: {5184, 13121, 9985, 7146, 3575, 3933}, 2813: {1890, 2216, 3663, 12240, 12052, 9044}, 2674: {457, 618, 6442, 8942, 5233, 3922, 10034, 4949, 8507}, 401: {2178, 1478, 6737, 4146, 12508, 6428, 1083, 4924, 1278}, 2768: {2784, 1665, 4544, 99, 11780, 7684, 3043, 7746, 38, 4777, 3374, 8176, 11220, 3096, 3193, 58, 6909}, 3262: {3585, 9602, 9734, 7436, 657, 7954, 4254}, 2637: {11617, 10978, 2956, 5484, 2419, 1592}, 629: {12834, 4938, 10719, 1676, 11150, 8240, 5721, 13268, 5076, 1653, 2839, 7128, 8793, 2777, 11963, 6940, 11871}, 2943: {10917, 1129, 6605, 10927, 3314, 8095}, 2956: {6080, 7240, 2766, 11701, 7064, 7547, 10108}, 522: {8992, 6436, 10565, 409, 10957, 2061, 2095, 2098, 2201, 2143}, 752: {1474, 1671, 11239, 4714, 6859, 4055, 5717, 12919, 4215, 12985, 13242, 1150, 5471}, 2756: {12517, 1835, 1485, 1331, 12115, 12343}, 969: {2990, 463, 9969, 9394, 4729, 2363, 543}, 1184: {6720, 1738, 3436, 109, 5678, 8431, 7221, 10171}, 2562: {1122, 9862, 9108, 532, 12309, 6105}, 649: {7396, 7307, 9371, 11479, 10875, 5756}, 3258: {3575, 9063, 264, 7368, 1543, 12263, 11086, 9649, 2615, 3545, 1498}, 2345: {12825, 13299, 8020, 11743}, 1578: {3200, 6787, 1637, 10922, 11310, 6104}, 3057: {2691, 8228, 3952, 4916, 539, 9147}, 2334: {129, 8678, 3213, 2386, 8852, 1790}, 1458: {2921, 3707, 3885, 12205, 3026, 4923}, 314: {2691, 8614, 7785, 12175, 3952, 4916, 13333}, 3015: {10531, 2691, 8228, 7687, 3952, 13333}, 1876: {320, 7171, 6883, 10216, 12341, 4478}, 223: {1667, 49, 2259, 788, 9559, 12031}, 2209: {9088, 6434, 3142, 10984, 12750, 10108, 10844}, 556: {4321, 3142, 7528, 10108, 525, 7247, 5010, 3484}, 2259: {9063, 9194, 8845, 2770, 10037, 4534}, 2791: {3232, 8523, 4267, 2383, 13012, 7606, 8729}, 2862: {11819, 5170, 4115, 12823, 7513, 6461}, 3193: {2691, 11012, 8614, 938, 3952, 5872, 4916}, 442: {1729, 8329, 3529, 5838, 2960, 8601}, 2789: {6080, 10108, 13206, 2103, 1914, 8892, 10844}, 0: {10272, 3011, 7364, 8996, 4200, 5742, 8207, 9168, 8977, 5202, 1977, 4958}, 1919: {13379, 5387, 10482, 12693, 5212, 3103}, 1072: {4292, 3142, 10695, 7919, 8400, 10108}, 2743: {4873, 6604, 5460, 8437, 2742, 2040}, 2481: {13377, 611, 12935, 7433, 2571, 7151}, 2695: {7558, 6280, 5993, 12011, 12462, 10681}, 1576: {9063, 7116, 4052, 3575, 4795, 10844, 10879}, 1447: {768, 3575, 9063, 11340, 11987, 8662, 2903, 7161, 4156, 10844}, 1207: {10976, 9135, 5743, 9142, 3223, 10648}, 1: {8065, 965, 11016, 4106, 3435, 10544, 9298, 4024, 3481}, 2964: {10597, 10117, 5415, 978, 6778, 13087}, 1685: {6209, 3108, 171, 7661, 2769, 4885, 7383}, 3189: {5856, 4835, 7339, 12556, 1325, 3662, 8206, 8014, 1172, 10359, 7742}, 2233: {12720, 2324, 9500, 12377, 8026, 13180}, 1860: {11201, 290, 5667, 13094, 971, 4269}, 1870: {1538, 10878, 4140, 3693, 3377, 11797, 11064, 10270}, 1711: {12994, 1738, 3436, 5678, 7221, 3319}, 2302: {11616, 13025, 12487, 2350, 13074, 12831}, 2346: {11074, 7276, 527, 435, 4634, 1533}, 1769: {4737, 6658, 1923, 5383, 9491, 9623, 11167, 9760, 10921, 4779, 6700, 10422, 10806, 6334, 9152, 7258, 8033, 3173, 13166, 7663, 7283, 5240}, 1837: {1409, 8708, 11205, 5992, 4727, 4249}, 1922: {706, 900, 6372, 38, 8081, 8049, 7859, 2645, 9336}, 1861: {13288, 11338, 4237, 12623, 401, 12339}, 2971: {10305, 10696, 10600, 5003, 3632, 4796}, 284: {7647, 10251, 2573, 400, 9367, 1562, 510, 1823}, 1423: {3845, 10983, 712, 10128, 2033, 5716, 10455, 831}, 2163: {13186, 1765, 6283, 9740, 4370, 11420}, 5: {3587, 7971, 12714, 5519, 7288, 5850}, 2032: {7555, 5098, 747, 12399, 13111}, 1571: {2959, 1462, 4087, 9499, 11166, 7487}, 1965: {5184, 9985, 9063, 6926, 3575, 4156}, 1432: {3608, 10153, 7830, 10647}, 2310: {6306, 11622, 3535, 7152, 665, 8538, 7614}, 1463: {9063, 7368, 5705, 11086, 9649, 12342, 3575, 10681, 1498}, 3187: {71, 1393, 5531, 12157, 7966, 1343}, 2393: {9252, 12808, 1584, 12658, 1046, 7259, 1404, 1951}, 2062: {12933, 7687, 938, 8174, 3952, 11384}, 1346: {6144, 5702, 9677, 5870, 2193, 5242, 6430}, 524: {1892, 3678, 1230, 2195, 4023, 5050, 5758}, 1277: {12640, 10787, 1674, 11211, 2079, 9663}, 830: {5184, 9921, 9063, 10668, 13132, 6926, 3575, 1914, 507, 4156}, 1619: {6118, 5455, 7606, 2169, 12955, 1791}, 2027: {8642, 8389, 9032, 6121, 13035, 844, 10925, 4976, 8785, 11794, 10099, 3730, 4981, 182, 4091}, 962: {1406, 9485, 11857, 8369, 3255, 2328, 4670}, 3298: {5184, 9063, 6668, 6926, 3575, 4156}, 2106: {3587, 5806, 5519, 3952, 7288, 5850}, 2074: {10531, 12933, 8174, 3952, 13333, 7319}, 2382: {2691, 8198, 7785, 1227, 4271, 3952, 5872, 3889, 5650, 11668, 11384, 9147}, 3091: {9029, 11369, 13071, 3377, 6706, 10270}, 963: {11943, 11339, 12462, 1678, 5968, 12084}, 904: {5568, 1732, 8104, 10962, 858, 2300}, 2333: {6375, 425, 2831, 1972, 1560, 5849}, 451: {8806, 2760, 265, 9706, 269, 6903, 9944}, 2946: {4992, 7075, 7111, 13160, 170, 10092, 13136, 11728, 6549}, 141: {5665, 353, 2022, 12173, 47, 10519, 1146, 7772}, 1023: {3397, 2443, 2452, 4885, 7383, 4445}, 3082: {3267, 12964, 12721, 3795, 11605, 10395}, 3173: {10840, 9985, 5184, 2164}, 11: {778, 12107, 10001, 10706, 12600, 12763}, 3205: {9063, 10632, 366, 11420, 11318, 4156}, 1395: {6720, 1738, 3436, 2031, 8369, 12317, 4670}, 748: {3873, 8326, 9777, 3798, 9659, 4287}, 2268: {5184, 9890, 12392, 6801, 3575, 1914}, 2142: {2436, 3303, 11401, 3788, 9326, 6095, 1521}, 1747: {10531, 12933, 938, 6861, 4718, 13333}, 3345: {9025, 10855, 8140, 12048, 4984, 7547, 9951}, 2534: {2056, 13161, 6730, 11148, 4620, 11605}, 213: {12905, 1392, 10129, 7377, 6899, 6772, 7829, 8407}, 305: {11010, 3587, 5005, 7184, 2296, 7288}, 2579: {13059, 9063, 9194, 5994, 4427, 8845, 5071, 7385, 4156}, 792: {650, 4176, 10681, 13180, 8669}, 3142: {2691, 4613, 8013, 6414, 9147, 3423}, 2099: {9063, 5705, 4843, 7886, 12342, 3575, 2331, 4124, 5021}, 1812: {7684, 4965, 11942, 12774, 5393, 8887}, 1909: {2691, 8614, 7687, 8174, 3952, 4916, 11384}, 1121: {7368, 7913, 4427, 9649, 8755, 6101, 12025, 1498}, 499: {8866, 2244, 169, 5518, 432, 10707, 9111, 2874}, 2989: {13293, 77, 1741, 49, 11411, 7198}, 1655: {13056, 2689, 388, 1798, 3496, 3214, 9586, 2078, 10617, 9724, 1821, 6557}, 2270: {11013, 2373, 6858, 11089, 1141, 6744, 13017, 1114}, 2731: {11717, 264, 7434, 5100, 1168, 603}, 1560: {38, 3464, 1326, 7320, 7129, 5626, 767}, 2392: {8933, 7654, 3795, 5302, 6459, 9981}, 532: {6920, 4589, 6895, 4977, 4755, 10837}, 306: {2691, 8228, 12933, 8174, 3952, 3120, 9147}, 3071: {4386, 423, 5359, 4306, 10583, 8408, 11198, 10111}, 1094: {1506, 10562, 9157, 11146, 11532, 5709, 11502}, 89: {8576, 11911, 423, 10186, 334, 3026, 8884, 5659, 282, 8635, 668, 3039}, 1062: {3717, 9063, 10601, 6860, 4156, 8722, 2322, 6805, 3575, 7964}, 2230: {12611, 13127, 6220, 12686, 4241, 2324}, 362: {5184, 9559, 12675, 9783, 9063, 6926, 3575, 1914, 11678}, 1443: {11235, 12942, 12725, 13398, 10488}, 1096: {5824, 4711, 7975, 12078, 2419, 4121}, 2723: {9921, 7937, 7146, 10283, 13388, 5816}, 191: {3490, 2851, 1990, 13319, 9099, 781, 2701, 6509, 2961, 3634, 7985, 4756, 4437, 8631, 4285, 9919}, 1537: {2691, 8614, 7687, 3952, 5872, 4916}, 1573: {2691, 4517, 12933, 7785, 8174, 3952}, 2490: {11974, 1679, 912, 1012, 10842, 8316, 4829}, 1568: {10531, 2691, 8614, 7687, 3952, 4916}, 231: {9063, 10600, 2356, 3575, 12474, 5790}, 613: {2691, 10147, 12933, 7687, 8174, 3120, 3952, 4916, 13333, 11384}, 1999: {12839, 8009, 74, 3753, 7571, 5407}, 2214: {10531, 4718, 8174, 3952, 7319, 9147}, 2021: {9063, 10600, 9484, 6961, 3575, 4156}, 1157: {8228, 12933, 7687, 8174, 3952, 4916}, 957: {4452, 3012, 8324, 1489, 2996, 9658}, 1440: {4704, 1077, 9242, 4156, 7997}, 1671: {2784, 12968, 8880, 10257, 9234, 2107, 4767}, 1620: {805, 10021, 1544, 2861, 6449}, 834: {9444, 12686, 12689, 8849, 8756, 8410, 2587, 7132}, 876: {8390, 13118, 3859, 11992, 1465, 10622}, 998: {6114, 6279, 6379, 6483, 12311, 2463}, 1433: {9218, 6277, 6793, 7562, 138, 2063, 4628, 11803, 12576, 1186, 10659, 1827, 1319, 3751, 3625, 9258, 4651, 8748, 4649, 10541, 6062, 9913, 2108, 2112, 449, 7491, 9412, 5573, 9030, 2763, 5582, 8911, 337, 857, 10715, 3547, 4830, 7395, 9956, 7269, 7656, 240, 13169, 882, 9078, 6262, 118, 2298, 8061}, 520: {11840, 1738, 5678, 2031, 1879, 1534}, 1783: {9536, 4005, 7654, 6635, 12525, 5328, 9397}, 2889: {12129, 11714, 6032, 4145, 4884, 11573}, 412: {11840, 744, 1738, 3319, 8093, 1534}, 812: {12481, 6723, 9063, 11499, 310, 3575}, 622: {8898, 9381, 10349, 12889, 10045, 12959}, 825: {5764, 6025, 5397, 7447, 4891, 6560, 10661, 10151, 5290, 3261, 6849, 839, 9416, 5578, 12622, 13137, 1494, 2135, 5462, 348, 11356, 2909, 7403, 4845, 7793, 12791, 6269}, 2453: {11651, 10889, 6730, 13, 1906, 13111}, 905: {3136, 10208, 6946, 5871, 2228, 4885, 12127}, 967: {2114, 6341, 2437, 2406, 557, 4723, 8820}, 1770: {1312, 4833, 2473, 8873, 777, 9935, 9816, 9882, 1564, 4637}, 1972: {9496, 6471, 8711, 11690, 8875, 339, 9720, 9561, 3839}, 1308: {9292, 8305, 10354, 6676, 8725, 5177, 7899, 765}, 2836: {238, 10287, 1327, 13359, 2486, 9435}, 1641: {9985, 10611, 1108, 9559, 10844, 8575}, 1636: {3233, 2243, 1832, 8777, 2100, 9176}, 2063: {9985, 11265, 9063, 6926, 12657, 9590, 4156}, 1757: {13028, 11530, 2800, 7057, 1587, 10004}, 1406: {1767, 2216, 6857, 13071, 3663, 10878}, 1141: {12901, 11686, 5439, 2285, 5401, 5215}, 3223: {10338, 8037, 2089, 3755, 6963, 601, 11322, 8058}, 1275: {2950, 11273, 2314, 2255, 3642, 10108}, 699: {1386, 10634, 4652, 11924, 1437}, 968: {12481, 9890, 1667, 12836, 3494, 2319, 11121, 146, 7381, 10844}, 2487: {773, 1518, 7727, 1648, 3577}, 1566: {4102, 3271, 11367, 6383, 12563, 6739}, 615: {9376, 6505, 3403, 7279, 917, 9947}, 1294: {11360, 9121, 325, 9733, 9672, 7275, 7979, 9678, 274, 10834, 12184, 6620}, 2519: {3269, 6092, 7021, 10158, 11023, 11071, 6040, 889, 1118, 5663}, 793: {12710, 650, 13133, 5071, 4498, 4403}, 2747: {2240, 4482, 9987, 8579, 2053, 9065, 11692, 12878, 11960, 7474, 9299, 10260, 7315, 1429, 12886, 9528, 4570, 4539, 1917}, 762: {9666, 4387, 2629, 1744, 6809, 9501}, 177: {5184, 9187, 9063, 6926, 3575, 1914}, 2742: {10114, 2691, 8228, 3952, 4916, 11384, 9147}, 1880: {4670, 5392, 8369, 2420, 3319, 798}, 3074: {448, 5601, 1795, 1091, 9092, 6857, 6026, 3346}, 2425: {11384, 8139, 1924, 5070}, 2101: {4132, 12773, 11086, 10449, 9649, 1498}, 114: {3397, 4720, 4564, 4885, 2452, 2911}, 772: {10531, 2691, 8614, 938, 3952, 4916, 13333}, 2887: {11712, 1058, 6679, 6958, 11827, 4660, 6583}, 3255: {9248, 9025, 12613, 8357, 8625, 1427}, 96: {12481, 1453, 5077, 9558, 825}, 896: {11843, 9029, 13127, 12040, 11311, 13071}, 1698: {2691, 8228, 12933, 12175, 3952, 13333}, 2: {2627, 9129, 8685, 912, 2738, 10521, 10330, 8316, 10750}, 3119: {12003, 13350, 5815, 13357, 2574, 658, 3315, 10231, 7481}, 1263: {7552, 4936, 11049, 109, 13207, 9434, 860, 2237}, 1462: {10531, 7561, 298, 2415, 7319, 11384}, 1239: {4357, 2725, 4430, 4850, 8787, 10226}, 2670: {5184, 7755, 6926, 10450, 4051, 4186}, 1850: {8228, 12933, 7561, 8174, 3952, 9974, 7319}, 949: {2691, 8614, 7687, 7785, 3952, 13333, 9147}, 3197: {10753, 6441, 10315, 5846, 9051, 10015}, 1426: {5411, 3877, 8137, 11274, 7821, 7725, 7672}, 1721: {1738, 8029, 5971, 5363, 2237, 10171, 8093, 4670}, 1315: {13180, 11310, 6104, 1209, 2364, 8639}, 2877: {1770, 2236, 8762, 10108, 8158, 6687}, 471: {2784, 12968, 11057, 9907, 1944, 11741}, 3245: {1418, 8847, 153, 9630, 2084, 166, 551, 5799, 11182, 12849, 12853, 4284, 1981, 12477, 7360, 1090, 5964, 7293, 6870, 7519, 8803, 8561, 4857, 7675, 7677}, 794: {13251, 7368, 7217, 3254, 1465, 10622}, 344: {2496, 5441, 9059, 6603, 11886, 9182}, 761: {2379, 11153, 11611, 3444, 3575, 11323}, 3180: {3136, 6785, 549, 7624, 7661, 5499, 5053}, 2462: {13378, 6319, 12275, 4244, 6396, 11133}, 3250: {10531, 10147, 7687, 3952, 3888, 7319}, 1351: {12865, 10275, 5027, 1159, 884, 1463, 10168}, 62: {3844, 6985, 12654, 5117, 286, 3871}, 406: {9120, 6243, 2090, 10508, 6833, 499, 11704}, 3267: {6534, 10951, 423, 3885, 5359, 4306, 9279}, 2103: {6467, 6948, 12685, 10351, 6707, 5789}, 1482: {5184, 3233, 9985, 9063, 6926, 3575}, 3026: {1859, 11979, 2840, 7100, 2046, 2047}, 1362: {8842, 2957, 12690, 4338, 8564, 2421}, 833: {12933, 8614, 4718, 8174, 3952, 8634}, 3008: {38, 8487, 7082, 10891, 1326, 3699}, 3231: {11841, 11298, 3397, 2406, 6791, 1320, 5677, 2162, 4564}, 2391: {1440, 5664, 2855, 6412, 1523, 3000, 6814}, 2912: {2944, 10243, 4073, 8177, 5780, 6868}, 443: {7368, 11086, 9649, 6101, 1498, 2331}, 3005: {8614, 7687, 3952, 3249, 13333, 7319}, 3031: {2784, 310, 3065, 10682, 2556, 5790}, 959: {2691, 8228, 12933, 8174, 3952, 4916}, 525: {898, 13323, 1682, 9237, 9752, 11546, 5788, 9756, 9119, 7077, 8105, 5162, 12336, 4785, 6320, 11061, 3908, 1097, 6989, 9950, 9445, 11885, 13046, 2038, 6907}, 2583: {9063, 5223, 12720, 4625, 9500, 7102}, 1427: {12073, 4716, 9008, 10709, 4697, 9211, 13310}, 2319: {8704, 12068, 12133, 7941, 11783, 6225}, 2573: {2691, 7687, 9930, 3952, 4916, 7319, 11384}, 3192: {7011, 7975, 1967, 3828, 4121, 5019}, 716: {6819, 6663, 8136, 10542, 316, 10973}, 2033: {5632, 6721, 13290, 10577, 13362, 790}, 1272: {4204, 11310, 12462, 10905, 13180, 12799}, 2403: {11975, 7400, 2153, 12958, 9358, 12592, 7987, 11348, 3861, 4090, 12029, 6814}, 3230: {10048, 11147, 12204, 8460, 11451, 11772}, 1827: {6785, 11237, 12564, 4885, 4854, 11670, 5053}, 1478: {5184, 9985, 4609, 12652, 9524, 3575}, 1404: {6785, 11844, 7444, 12564, 7383, 5053}, 1564: {12549, 38, 7404, 4461, 3827, 3476, 6037, 9497, 12094}, 2854: {5888, 323, 9992, 8302, 10159, 12751, 9719}, 94: {2691, 9147, 3996, 4916, 539, 4092}, 1803: {5184, 9985, 1257, 86, 3575, 12795}, 1066: {10985, 7374, 10383, 9424, 1206, 1182}, 129: {6211, 11268, 12430, 11541, 1055, 10495}, 3362: {10467, 4708, 4323, 1543, 3208, 3722}, 2272: {9063, 264, 12362, 11086, 2331, 13180}, 273: {7880, 7758, 9167, 1554, 10773, 4952}, 1632: {3108, 1701, 10726, 171, 7661, 4885}, 1635: {10039, 10385, 10354, 6357, 6199, 11710, 8927}, 3051: {6785, 9637, 9639, 6221, 3956, 12917}, 694: {3776, 11717, 9063, 9194, 8845, 1465, 4156}, 1833: {8576, 9063, 13180, 12810, 9194, 8845, 4156}, 333: {10531, 8614, 9930, 10063, 3952, 5872, 7319, 11384}, 1720: {6349, 10641, 7993, 1914, 10108, 8414}, 1160: {768, 9063, 6665, 2379, 3575, 7486}, 360: {6433, 3720, 1193, 7916, 8464, 10972, 13183}, 840: {5857, 6884, 2671, 9748, 9175, 13018}, 2904: {11974, 4829, 2666, 3820, 912, 1012, 1978, 6397}, 1989: {11778, 10149, 9961, 12973, 3667, 5915}, 2326: {11717, 13002, 9194, 12621, 11992, 7673}, 601: {5184, 8518, 9063, 7528, 3978, 13324, 3309, 6926, 13367, 86, 3575, 12249}, 1567: {9063, 6926, 5009, 13367, 3575, 5435}, 630: {5184, 7625, 5988, 3575}, 227: {5731, 6376, 3306, 3723, 10095, 5907, 12702}, 37: {4612, 1767, 2216, 7084, 4556, 3058, 5075, 6104, 8026, 3101, 2974, 7871}, 2241: {4802, 6563, 10923, 5580, 4207, 13147, 2813}, 182: {2050, 2916, 9130, 11985, 7354, 3775}, 1588: {12933, 8614, 8174, 3952, 13331, 13333}, 1613: {12577, 5221, 1735, 7368, 9063, 7754, 11086, 6638, 6927, 2993, 4918, 10775, 12025, 6074, 2301}, 1885: {4419, 3491, 11846, 2570, 12020, 8571}, 35: {4132, 7368, 9649, 1367, 1944, 1498}, 3295: {291, 580, 12202, 3636, 9817, 6623}, 2327: {8901, 12263, 3688, 12462, 12377, 3679}, 50: {2825, 9615, 13232, 113, 7033, 1563}, 1336: {1248, 7639, 3575, 9063, 5000, 3785, 7368, 8526, 11086, 9649, 12210, 4021, 7863, 5849, 1498, 8891}, 2022: {4288, 517, 13067, 12172, 7187}, 2762: {3458, 2438, 554, 11599, 7347, 216, 6365}, 3248: {2404, 6248, 10893, 4016, 11863, 1851}, 2373: {480, 9571, 4164, 8682, 203, 10097, 6546, 12116, 1109}, 1326: {6275, 9957, 11559, 12490, 7211, 12211, 2173}, 2826: {3301, 7177, 49, 8882, 5235, 7736}, 2057: {8032, 7841, 3424, 5219, 5705, 12342}, 2808: {9058, 5765, 2919, 9447, 13037, 1712, 125}, 2072: {6274, 9707, 3436, 878, 2031, 2193, 4670}, 109: {7457, 3298, 4164, 4560, 2195, 11000, 6777}, 3384: {841, 8695, 3364, 11543}, 216: {12933, 8174, 3120, 3952, 7319}, 1659: {10118, 11339, 3535, 665, 4826, 8190}, 23: {227, 11717, 12263, 9063, 12362, 7434}, 529: {3786, 9009, 11572, 7637, 4989, 3711}, 1387: {2691, 12933, 8174, 3952, 4916, 13333}, 78: {12419, 12995, 2122, 2221, 2417, 8401, 11635}, 3219: {9313, 9475, 8556, 10188, 9519, 11732, 3771}, 943: {5184, 12132, 11334, 9063, 9768, 6926, 3575, 11930}, 1976: {11362, 4135, 7660, 5008, 3442, 1941}, 3183: {162, 3593, 9739, 6803, 4149, 4090}, 72: {2980, 11720, 13258, 3659, 11276, 8309, 11705, 5628}, 2557: {6593, 7458, 9446, 1926, 8839, 6450, 9175, 10844}, 2109: {7299, 10212, 10597, 8965, 9869, 1267}, 356: {2372, 9063, 12339, 310, 3575, 11930}, 1117: {1411, 8901, 6024, 11897, 1979, 10878}, 1081: {11224, 12628, 5732, 2175}, 3307: {5440, 6018, 7525, 6312, 233, 2895, 5151}, 1926: {10884, 10250, 3627, 2415, 1616, 9300}, 979: {7392, 8836, 1064, 3474, 4760, 8540}, 278: {9063, 2767, 3575, 3738, 4156, 1914}, 2602: {10531, 938, 4718, 3952, 13333, 8634}, 1959: {8614, 9930, 3120, 3952, 13333, 7319, 11384}, 2494: {4455, 11628, 3276, 13294, 2287, 959}, 1975: {12640, 11436, 6895, 1302, 6583}, 2760: {9890, 9063, 8906, 7146, 6926, 49, 9559, 3741}, 2307: {2691, 12933, 7785, 3952, 4916, 8634, 9147}, 3087: {1792, 2937, 11399, 8491, 8812, 6265, 10653, 9822}, 735: {2455, 1413, 7786, 12011, 1162, 12462, 12686, 5970, 12055}, 1090: {6590, 7207, 3914, 2639, 7126, 4668, 8926}, 1010: {9763, 9063, 10600, 1416, 8270, 3280, 4475, 3575, 9211}, 2765: {816, 5625, 9090, 10502}, 420: {10881, 7788, 10130, 8534, 13303, 6814}, 2527: {291, 10377, 4621, 11992, 1944, 9497, 12538}, 1410: {5569, 5859, 6958, 4593, 11574, 13018}, 1548: {7588, 9988, 6313, 5422, 3057, 89, 9725}, 3116: {1572, 5765, 9160, 7786, 12686, 8849}, 1733: {9063, 7368, 5705, 12342, 3575, 1498}, 935: {9063, 8521, 2124, 310, 6775, 10491}, 2595: {11715, 10531, 10147, 12933, 8174, 3952, 9147}, 710: {2788, 3562, 12686, 12462, 4176, 1686}, 2610: {11522, 11664, 7955, 8566, 1688, 10844}, 682: {2691, 8614, 7785, 3952, 5872, 4916}, 1614: {9314, 13127, 6220, 11310, 3663, 6104}, 669: {4098, 2543, 626, 4533, 13113, 7930}, 2048: {2695, 8264, 9039, 8693, 1884, 7325}, 1666: {10754, 5954, 1796, 9866, 8342, 8123}, 1652: {11363, 261, 7526, 7435, 8747, 8591, 797}, 1843: {1350, 8939, 11823, 177, 13336, 2814}, 2031: {4732, 9317, 7627, 9045, 3004, 6431}, 1203: {2615, 9063, 7368, 5705, 11086, 9649, 12342, 3575, 1498}, 1253: {11717, 11911, 9063, 9194, 8845, 5262, 4156, 7453}, 2308: {9025, 5101, 6832, 11701, 8541, 9951}, 3339: {2784, 3233, 3200, 12686, 4176, 10110, 3576, 3514, 5982}, 1682: {10681, 13180, 12462, 11943}, 1380: {3943, 46, 3121, 3509, 11609, 1181}, 1283: {5130, 8849, 2227, 8756, 186, 10783}, 2907: {1543, 3785, 3731, 12342, 3575, 2331}, 2919: {9063, 9194, 8845, 2770, 4534, 2844}, 3069: {8004, 454, 9708, 1264, 11289, 862}, 448: {9063, 13039, 3575, 10776, 4156, 540}, 2172: {10531, 8614, 7687, 3952, 4916, 7319}, 2141: {3940, 6443, 9104, 697, 11864, 2809, 5470}, 1908: {12640, 4231, 4072, 4007, 3631, 7542}, 1918: {10721, 4355, 9701, 4742, 1511, 7381}, 1748: {11210, 2031, 8062, 605, 4670, 6111}, 903: {10210, 9829, 5006, 5649, 440, 10334}, 2207: {4995, 902, 1937, 12435, 6165, 11799, 5533, 5922, 13091, 2466, 426, 2489, 3641, 10047, 3277, 3028, 2787, 5604, 9958, 3304, 12266, 9327, 9072, 13177, 9980}, 3239: {12107, 5357, 10001, 12145, 1109, 1848}, 127: {611, 4392, 9098, 2991, 187, 9278}, 2000: {5184, 9985, 10497, 3575, 9063, 2314, 3978, 43, 5710, 9680, 2642, 5235, 3991, 7260}, 332: {6656, 646, 11311, 11251, 7669, 6583}, 768: {1546, 2765, 13112, 5239, 5720, 9180}, 628: {8228, 12933, 8174, 5872, 3952, 7319}, 418: {7266, 4164, 518, 8137, 4754, 4789, 9914}, 1546: {9029, 12677, 103, 5832, 6857, 4169, 13180, 13071, 11064, 9500, 10270}, 3271: {6785, 7661, 4209, 12917, 4885, 5053}, 125: {3530, 427, 2251, 8277, 4726, 381}, 1186: {4643, 1799, 8465, 7126, 11130, 10239}, 1903: {12033, 6851, 9742, 4495, 8917, 9914}, 1230: {2691, 5543, 4271, 11668, 539, 9147, 3996}, 1942: {5924, 11717, 2534, 9063, 9194, 747, 8845, 7673, 5423, 5813, 1465, 603, 4156}, 2189: {1504, 11682, 10374, 5961, 8971, 10287}, 2265: {11943, 11310, 12686, 12377, 13180, 11902}, 2872: {11876, 6918, 9770, 140, 8690, 1815}, 624: {6884, 7274, 9322, 6609, 13018, 9851}, 2133: {9668, 3752, 13265, 2330, 1662}, 2185: {9284, 520, 10858, 3892, 11991, 6427}, 986: {2691, 8614, 7687, 938, 3952, 4916, 13333, 11384}, 1056: {9476, 11911, 9063, 9194, 8845, 12494, 4156}, 1905: {10144, 11072, 11299, 2181, 4070, 294, 3368, 3372, 10263, 13208, 250}, 1453: {2691, 8614, 3952, 4916, 13333, 11384}, 473: {8641, 3843, 11048, 10390, 6071, 1467}, 863: {6112, 1637, 11339, 1644, 12686, 9297, 2462}, 2596: {1377, 4081, 13301, 4246, 4982, 11359}, 6: {7520, 4706, 869, 5797, 7814, 6504, 13417, 172, 5197, 7763, 662, 3607, 1401, 7101, 11102, 1631}, 1349: {9443, 1103, 9393, 2354, 634, 7547}, 1904: {12129, 4292, 9960, 3181, 8400, 7547, 10108}, 2156: {840, 5642, 5357, 5424, 1109, 3262}, 1311: {3066, 1508, 5365, 3382, 10810, 12542}, 567: {7427, 12742, 9673, 683, 13071, 11311}, 2900: {5184, 9985, 9063, 6926, 4592, 3575}, 138: {4035, 9063, 456, 6926, 9559}, 455: {7654, 7944, 1294, 4687, 5951, 6326, 13306, 1085, 6559}, 1300: {5184, 9063, 3978, 6926, 3575, 4156}, 2932: {258, 4739, 3204, 9735, 1935, 6543, 2578, 9619, 11415, 7839, 3743, 418, 11554, 7204, 9774, 10799, 7105, 13122, 3137, 3909, 8261, 3911, 13009, 3157, 12503, 3802, 6378, 9068, 1901, 10993, 378, 12413}, 2915: {7008, 2210, 4772, 4357, 4850, 4761}, 1013: {8674, 11972, 2792, 5802, 8724, 7002}, 666: {5984, 2784, 2020, 4176, 7606, 7102}, 3126: {4128, 1632, 10498, 2001, 1044, 7606}, 2798: {11717, 9063, 9194, 8845, 4156, 7102}, 1400: {38, 7227, 5075, 7606, 10811}, 712: {6785, 9637, 9917, 4885, 11670, 5053}, 886: {8610, 2982, 8459, 10189, 3543, 6395}, 313: {4128, 1024, 9029, 7654, 13034, 4242}, 1497: {1667, 4510, 6124, 310, 4156, 8606}, 3036: {6601, 10826, 11, 9641, 11345, 695}, 717: {3512, 393, 4659, 9589}, 3378: {2691, 12933, 5452, 8174, 3952, 8634}, 940: {7271, 9194, 747, 8845, 6958, 2770, 10037}, 2843: {4322, 4339, 5829, 6862}, 2299: {12641, 2883, 2179, 1287, 4314, 9246}, 411: {11840, 1738, 8369, 3255, 10171, 4670}, 2303: {5184, 9063, 6668, 6926, 3575, 4156}, 494: {3373, 11311, 6008, 7354, 13212, 3902}, 3278: {8198, 13292, 4271, 8147, 11668, 9147}, 2793: {5126, 4683, 11915, 11311, 11349, 604}, 211: {10147, 1606, 7687, 9930, 3952, 13333, 7319, 7640}, 1411: {5028, 38, 5322, 1326, 3599, 11601, 9522}, 999: {8945, 6163, 4374, 8666, 7067, 10142}, 3133: {2691, 7687, 3952, 4916, 7319, 3165}, 1804: {5924, 9063, 9194, 8683, 8845, 1424, 11478, 4156}, 148: {5184, 9063, 6926, 2103, 3575, 5816}, 440: {7495, 2537, 2923, 6060, 8400, 4145, 11701, 1177, 1914, 11579, 10108}, 1192: {2691, 8228, 12933, 3952, 4916, 9147}, 321: {9923, 13156, 8648, 11311, 2512, 11797, 9883, 12055, 1656, 13339, 6588, 6559}, 738: {3397, 5481, 4564, 1269, 7383, 9917, 5310}, 3137: {10309, 4235, 3563, 756, 1849, 12956}, 1183: {2784, 12686, 12462, 11310, 13071, 12377, 4317}, 2522: {10571, 7339, 1172, 2039, 11419, 4701, 10359}, 1124: {11553, 13347, 3561, 12938, 10227, 2900, 4563}, 2435: {11206, 2891, 9646, 6414, 4048, 7570, 661, 10296, 4574}, 2658: {2691, 7687, 3952, 3249, 4916, 9147}, 2495: {6754, 1258, 3798, 791, 2202, 11964, 4287}, 819: {2784, 7368, 12362, 11086, 753, 4534}, 917: {10531, 2691, 7785, 4718, 3952, 11384}, 728: {1025, 7685, 1707, 2837, 5339, 6047}, 1218: {13127, 6706, 2324, 7959, 6104, 8026}, 345: {5506, 10518, 8728, 4921, 11642, 315, 5853, 7262}, 457: {10306, 1764, 1421, 11473, 7222, 7802}, 2923: {230, 615, 9552, 8243, 6166, 3958, 7962, 3451, 11486, 7679}, 373: {768, 5184, 11904, 9063, 6926, 3575}, 1334: {5184, 9063, 6926, 3575, 1276, 10844}, 755: {12769, 2182, 3942, 12305, 2069, 12954}, 1370: {1537, 10555, 3954, 5304, 8155, 7228}, 286: {6441, 5356, 8689, 9625, 13214, 607}, 408: {4488, 12428, 815, 3284, 12664, 2847}, 3122: {1514, 4174, 12917, 4885, 2105, 894}, 2781: {13344, 2946, 11698, 4788, 8310, 1112}, 1995: {6080, 10108, 6222, 7887, 7355, 3164}, 1555: {5991, 9673, 522, 3305, 12863, 2351, 9144, 8729, 11422, 2335}, 1316: {2148, 3142, 11817, 8496, 2103, 10108}, 158: {3715, 2695, 1708, 13071, 5393, 3541, 7129, 13180}, 500: {9922, 109, 5678, 1879, 3319, 4670}, 1139: {2244, 9063, 5705, 650, 11086, 7886, 9649, 6101, 3575, 3258, 2331}, 2528: {11203, 11692, 5460, 6745, 61, 5503}, 2650: {12641, 1125, 4901, 9453, 4274, 8853, 4694, 8636}, 1708: {12686, 11310, 5393, 5970, 2324}, 135: {3809, 6278, 11046, 9521, 3390, 8895}, 2630: {1926, 9063, 423, 2634, 6730, 3885, 4156}, 104: {6663, 7025, 7639, 5849, 859, 8891}, 3006: {5184, 9985, 2817, 2569, 11920, 6770, 3575}, 730: {10762, 5386, 11084, 11547, 7132, 10110}, 1782: {9063, 9194, 12906, 8845, 10576, 4156}, 2665: {5219, 13028, 101, 10211, 5705, 7053, 12046, 8722, 7284, 8758, 12342, 4406, 13083}, 2617: {3587, 133, 6414, 5519, 9942, 10746, 10847}, 3285: {384, 7809, 8969, 651, 1036, 2958, 10895, 4499, 8859, 11164, 10782, 300, 943, 55, 1719, 5952, 6338, 10050, 10960, 3536, 3026, 1748, 8545, 10597, 5359, 12273, 1655, 2554}, 3349: {3299, 13284, 7305, 8084, 10230, 8120}, 2175: {5509, 10995, 9940, 5555, 12701, 3806, 7613}, 2332: {9025, 8140, 5136, 12048, 5912, 3450}, 2500: {423, 12075, 9260, 2860, 8974, 3885, 3988, 4988}, 2714: {10180, 2420, 3255, 10171, 798, 9183}, 2135: {9092, 9029, 10250, 11311, 3346, 12863}, 1722: {3232, 1601, 3043, 9253, 4109, 7673, 6554}, 3286: {8400, 10675, 10036, 9653, 11701, 10108}, 2660: {7624, 4720, 2162, 4885, 10555, 2271}, 744: {10432, 5346, 3575, 9063, 4750, 10775}, 2555: {9637, 171, 7661, 4367, 4885, 7383}, 1027: {5184, 9985, 9063, 2569, 3499, 3575}, 2737: {9893, 2603, 2070, 2807, 6842, 7805}, 1962: {7620, 3686, 3014, 12936, 10796, 9329}, 1067: {2784, 3010, 12011, 5071, 4176, 10622}, 745: {6531, 4903, 10060, 7631, 4789, 8696}, 3329: {5184, 9985, 10497, 9063, 6926, 9680, 3575}, 547: {3552, 6465, 1986, 2499, 5602, 10789, 11618, 1989, 12872, 1705, 12039, 1953, 4236, 1101, 1069, 11948, 12914, 4501, 410, 11612}, 395: {264, 7952, 10709, 5560, 8444, 1823}, 444: {10274, 12468, 12245, 7445, 7576, 2264}, 2866: {1543, 7368, 5705, 9063, 11086, 9649, 12342, 3575, 1498, 6455}, 2364: {5184, 9985, 9063, 6926, 1362, 4661, 3575, 1914, 4156}, 2171: {11904, 259, 9063, 5225, 5617, 3575, 1914, 4156}, 1217: {8034, 7010, 5446, 872, 11731, 6270, 287}, 82: {2691, 12933, 8614, 7687, 3952, 5872, 4916}, 3385: {259, 7888, 849, 1010, 4439, 1786, 10108, 1914}, 1963: {5184, 9985, 1891, 9063, 6926, 3575, 4156, 3998}, 747: {6913, 13071, 53, 11311}, 1549: {2691, 8228, 12933, 8614, 3952, 4916}, 1278: {2241, 9928, 4176, 2324, 186, 2331}, 1829: {10531, 2691, 8614, 7687, 3952, 5872}, 2716: {11840, 4040, 1738, 109, 3255, 4670}, 2680: {2912, 10850, 10788, 375, 3065, 9247}, 947: {10656, 9027, 6691, 40, 3952, 6385, 9694, 3167}, 337: {6660, 6930, 11028, 10998, 5142, 12089}, 3001: {134, 13254, 1224, 1289, 8550, 8861, 3152, 11217, 13238, 13241, 7066, 8221}, 1686: {8935, 12748, 10322, 3191, 9433, 7134}, 2635: {2082, 3817, 9450, 7788, 8534, 6524}, 2769: {3141, 1936, 4720, 5554, 6036, 4885}, 124: {5472, 7329, 12004, 3781, 198, 6437, 5242, 5870, 3184, 13171, 3095, 218}, 1630: {12704, 7970, 9063, 12205, 5843}, 3120: {2691, 8228, 12933, 3952, 4916, 11384}, 2656: {2465, 2596, 7142, 6386, 3575, 507, 8892}, 916: {4518, 11049, 1738, 3436, 5678, 3319, 4670}, 1107: {5765, 12968, 11497, 7786, 12462, 8849, 2227, 1944, 12377}, 1987: {12801, 4962, 11172, 5412, 4556, 10415, 9397}, 854: {6336, 11556, 6949, 997, 249, 1293, 2067, 10902, 888, 4121, 1147, 12318}, 55: {5184, 9985, 3575, 9063, 6926, 1148, 4051, 5077, 8663, 4156}, 2871: {13376, 11110, 6474, 6350, 8979, 5791}, 2452: {9769, 13068, 5133, 10509, 4464, 5692}, 1325: {8933, 1831, 1739, 3885, 4881, 946}, 2797: {9922, 1738, 5678, 3319, 4670}, 2850: {266, 10444, 2830, 9904, 10844, 11454}, 3033: {10563, 3043, 11717, 3056, 1841, 8245, 12342, 1498, 4319}, 1504: {12546, 2406, 12299, 12460, 10572, 5950}, 625: {7639, 10947, 6669, 2610, 1751, 5849, 953, 7356, 8574}, 594: {451, 12934, 10157, 8910, 8025, 8218}, 527: {5825, 9349, 9766, 7016, 7339, 10571, 1325, 11151, 6128, 6129, 1172, 2039, 8858, 5467, 4701, 10359}, 3134: {3015, 7208, 2444, 10287, 4821, 9275}, 1789: {10114, 2793, 3952, 3888, 13333, 7319}, 844: {10884, 10250, 12686, 11026, 9300, 8858, 7419}, 1667: {2369, 7107, 9763, 9063, 13327, 8722, 3575, 4156, 189}, 1589: {3523, 11076, 3821, 5844, 7030, 10108}, 810: {7906, 5059, 10161, 13140, 5046, 317}, 3233: {1058, 2852, 13134, 7863, 6008, 8408}, 2856: {11172, 11629, 5070, 6008, 3609, 6170}, 2636: {2691, 11912, 3952, 1337, 2170, 9147}, 2504: {2955, 3697, 8921, 10361, 13119}, 1668: {8417, 9510, 8881, 5273, 7994, 8444, 2878}, 347: {12736, 6181, 9029, 12455, 2695, 1039, 114, 10997, 3485, 6463}, 2681: {1605, 6823, 2856, 9063, 5617, 3575, 4156}, 1145: {803, 12977, 4851, 4343, 10587, 3615}, 1148: {1667, 4458, 49, 694, 9242, 4156, 9823}, 580: {11049, 8029, 109, 8431, 11222, 2237}, 2386: {8194, 6085, 7464, 8143, 10161, 12829}, 2744: {10499, 996, 12100, 5511, 4202, 5357, 2066, 7923, 1143, 10908, 1149, 7294}, 66: {7297, 7587, 1996, 6871, 6553, 12539, 13373}, 1224: {7368, 264, 12362, 650, 10997, 1498}, 1994: {3238, 6535, 2415, 2351, 2324, 1013, 8600}, 2986: {12993, 3622, 5897, 11154, 6201, 10011}, 2598: {1922, 10084, 8109, 6958, 11796, 10837}, 3247: {2691, 8228, 12933, 938, 3952, 11384}, 1851: {12106, 7022, 2704, 6682, 9278}, 2683: {9504, 10590, 12227, 5191, 11311, 6582, 10878}, 2945: {6440, 9582, 465, 12722, 12507, 5148, 5599}, 2291: {3936, 3586, 11619, 3234, 4183, 1086}, 1754: {2691, 12933, 8174, 3952, 4916, 8634}, 2608: {10179, 11812, 5636, 6217, 11294, 4607}, 1563: {930, 4262, 11623, 2439, 8713, 1071, 12529, 3539, 6869, 4597, 6875, 95}, 2708: {5184, 9985, 9063, 6926, 3575, 10844}, 289: {578, 6472, 4078, 1202, 12827, 11420, 221}, 2859: {10752, 3952, 5080, 11384, 10844}, 1554: {13180, 8235, 12686, 4176, 3452, 9213}, 1221: {5184, 293, 9063, 3978, 2314, 3575, 1914}, 3072: {6661, 5767, 12114, 5590, 5528, 9242, 4156}, 2017: {12550, 1607, 1072, 3443, 7519}, 1418: {11872, 3587, 12365, 1234, 9942, 6713, 10746}, 1340: {13292, 4271, 8147, 11668, 5080, 11384}, 12: {12933, 8614, 8174, 3952, 13333, 7319}, 1884: {5890, 10947, 8679, 6153, 10733, 3893, 7639, 5849, 859}, 2478: {10528, 4225, 2306, 9575, 10248, 11338}, 2778: {5088, 2433, 4772, 2222, 272}, 1019: {12640, 6583, 5169, 9652, 8565, 9175}, 2615: {7650, 2691, 8228, 467, 9147, 3996}, 1476: {2404, 11781, 6248, 8878, 12469, 12510}, 1286: {7558, 9096, 3338, 9587, 12149, 13337}, 870: {7235, 3203, 4232, 10924, 5079, 11993}, 1358: {1442, 1050, 5318, 9063, 9194, 843, 7343, 8274, 3254, 10360, 12698, 7739, 12095}, 2849: {2691, 12933, 8174, 3952, 4916, 13333}, 91: {10212, 8901, 5221, 650, 10262, 10910, 12895}, 1474: {768, 9122, 13347, 9189, 7064, 10108, 6687}, 638: {419, 1892, 4552, 5083, 7612, 13279}, 1871: {11969, 1538, 7368, 6988, 11888, 1424, 9458, 144, 1498}, 764: {10469, 488, 12233, 10313, 4562, 5405}, 2160: {12202, 748, 8849, 1490, 10681, 3903}, 618: {11715, 2691, 8614, 938, 3952, 7319}, 2208: {3016, 1291, 2544, 6480, 7771, 5535}, 3100: {2368, 7110, 7080, 4779, 8558, 7889, 817, 11134, 9908, 2553, 3453, 2718}, 1645: {10439, 9361, 11123, 7125, 7511, 3868}, 1643: {2691, 8228, 8614, 7687, 3952, 4916, 13333}, 1523: {7368, 11086, 9649, 8755, 3575, 5625, 1498}, 1074: {8673, 7426, 12067, 2442, 12659, 8923}, 2576: {10114, 2691, 12933, 3952, 4916, 11384}, 1539: {7367, 9355, 12788, 3416, 7320, 7806}, 2469: {152, 5819, 5588, 13405}, 1969: {9091, 12012, 7661, 8818, 5083, 4445}, 2104: {12263, 6988, 11086, 12057, 10071, 10681, 13118}, 1169: {452, 2309, 2535, 2188, 1969, 12401, 11348, 6814}, 2121: {7555, 11591, 9128, 10186, 5098, 1243}, 3268: {9826, 12395, 2476, 9848, 9274, 11260}, 339: {9922, 1738, 3436, 3319, 24, 10171, 4670}, 804: {6728, 7725, 7821, 4529, 6804, 3069, 4990}, 2957: {1378, 7045, 11820, 3984, 668, 8766}, 507: {2370, 1001, 13005, 4246, 12060, 6558}, 1119: {7490, 3250, 10008, 4121, 11448, 11679}, 3292: {3139, 423, 10701, 5359, 12048, 3026, 8371, 12244, 7670, 10583}, 1883: {448, 4556, 5644, 13071, 5264, 12720, 6706}, 3085: {9344, 7654, 6988, 4014, 8755, 8502, 2941}, 676: {13058, 13251, 8420, 13326, 3537, 8658, 8082, 3254, 7673}, 3382: {6595, 9446, 1767, 3656, 9063, 2216, 3688, 2695, 8461, 12462, 13038, 7817, 6730, 8204, 7156, 92, 12221}, 684: {2691, 8614, 7785, 3952, 13333, 9147}, 3337: {9729, 12995, 12585, 2122, 8401}, 2827: {2691, 8614, 3952, 4916, 13333, 8634, 4092}, 1948: {12462, 13071, 11220, 12980, 7129, 3772}, 2309: {10433, 4002, 11462, 9066, 6607, 11953, 4598, 4855, 379, 4895}, 971: {2657, 7459, 8900, 38, 10891, 1044, 2229, 5143, 5656}, 1877: {13026, 8835, 9063, 5705, 6805, 12342, 3575, 4156}, 2646: {10531, 8614, 938, 9930, 5872, 3952, 13333}, 3118: {6424, 10276, 1161, 6547, 10872, 7519}, 79: {6693, 12582, 12555, 5137, 4660, 12091}, 380: {9541, 11687, 3603, 632, 12058}, 1599: {5029, 6184, 7792, 8916, 1945, 13245}, 2476: {13283, 2856, 8457, 12620, 2905, 5146, 507}, 30: {2691, 8228, 8614, 3754, 3952, 4916}, 2166: {5184, 7146, 5679, 3575, 1914, 3933, 1438}, 1132: {3940, 9063, 5003, 7469, 1742, 5840, 9302, 62}, 2664: {5391, 6708, 5493, 278, 7864, 4411, 13244, 8413}, 2931: {2691, 4092, 4271, 11668, 4916, 3996}, 1580: {433, 8252, 3246, 11815}, 351: {7650, 2691, 3952, 467, 4916, 9147}, 2807: {6434, 4100, 9063, 2103, 3575, 4156}, 3266: {11587, 9029, 9291, 6706, 12052, 7606, 3609, 1948, 2462}, 2885: {5540, 9288, 9675, 11788, 8594, 10808}, 1251: {13121, 9890, 12965, 2545, 1914}, 17: {9763, 11300, 6022, 9063, 4233, 9194, 8142, 8722, 3575, 8537, 9211, 12445, 10527}, 3041: {9345, 2051, 4313, 10027, 921, 4380}, 1819: {11744, 2848, 12290, 8554, 10192, 9330, 5114}, 1276: {8493, 9071, 148, 11701, 9016, 11999}, 506: {9029, 12198, 4140, 3663, 11824, 7038}, 2396: {13066, 2734, 979, 6070, 1499, 13407}, 288: {5061, 5544, 4234, 1259, 6093, 6830, 7194}, 1910: {10976, 3492, 9063, 12776, 2569, 8432, 5235, 6175}, 2899: {10531, 12933, 8614, 8174, 3952, 13333, 9147}, 1609: {9254, 7975, 3624, 13162, 4459, 8074, 6091, 13267, 2451, 9463, 10009, 12346, 3807}, 2865: {2691, 8614, 7687, 4718, 3952, 13333, 7319}, 662: {12388, 6857, 586, 13071, 6008, 603}, 1383: {6392, 10241, 2505, 5998, 2382, 1752, 9298, 12340, 10293, 1205, 9464, 7001, 573}, 2427: {12961, 7340, 6069, 13014, 4375, 8318}, 1280: {5793, 3117, 10126, 9649, 11285, 3575, 1498, 2331}, 552: {6944, 7233, 8449, 7589, 13191, 12105, 3665, 6642, 7509, 12597, 9847, 12661, 6075, 7517, 255}, 692: {3105, 5219, 8836, 5765, 5705, 8722, 6805, 5238, 12342}, 1284: {5184, 9985, 9063, 6926, 5617, 3575, 9595}, 1151: {11842, 4163, 8582, 12424, 8370, 12595}, 782: {10082, 13186, 6053, 7659, 685, 8814, 5817}, 1654: {3139, 11717, 2844, 9063, 9194, 2282, 13002, 3151, 3026, 5938, 4566, 2230, 411, 4156}, 45: {2721, 9828, 7590, 4841, 8618, 302, 4399, 6353, 1458, 9204, 3031, 2008, 11929, 3197, 1567}, 178: {8294, 5062, 10408, 8359, 524, 7928, 1335, 1432}, 3227: {1738, 109, 9007, 2237, 10171, 8093}, 887: {8834, 3975, 777, 10265, 25, 6555, 7327, 1312, 3491, 13350, 8873, 9387, 5163, 9775, 5815, 7481, 7743, 10440, 11344, 4954, 10463, 3426, 12003, 8299, 3315, 12020, 4213, 8571}, 267: {10502, 7368, 650, 7786, 11086, 9649, 8755, 11220, 1498}, 2090: {11143, 10253, 9585, 10067, 8378, 8795}, 3375: {6176, 12805, 7978, 10164, 6873, 8508}, 2906: {2691, 8614, 938, 3952, 4916, 539}, 1133: {7691, 7439, 13008, 5873, 12088, 12121}, 1363: {2113, 4770, 4166, 10409, 13233, 10171}, 2605: {12165, 9063, 7368, 7886, 11086, 6926, 849, 5428, 6101, 86, 3575, 10493}, 3294: {4419, 3491, 3333, 12020, 8571, 9534}, 982: {9063, 7047, 12073, 1295, 3575, 4156}, 2340: {11104, 612, 9605, 10712, 12569, 698}, 1255: {1315, 6441, 809, 8078, 9520, 7730, 313, 3228}, 3359: {1331, 6421, 5173, 917, 12699, 6365}, 2475: {2691, 8614, 7687, 3952, 4916, 13333}, 595: {2691, 7687, 9930, 3952, 4916, 7319}, 2505: {11275, 11536, 19, 12310, 5913, 7072, 2209, 10793, 8361, 2602, 5297, 8626, 306, 3251, 7733, 8124, 2497, 10177, 835, 11090, 222, 6501, 3825, 3953, 4210, 11003}, 1123: {3910, 3912, 2157, 10445, 11828, 7835}, 2051: {12609, 197, 6730, 10640, 8312, 7931, 6333}, 1864: {2691, 3952, 5872, 7319, 11384}, 2525: {2529, 12263, 7368, 1543, 11086, 9649, 2615, 1498, 6843}, 974: {13123, 4875, 10059, 5595, 3259, 10525}, 2893: {10531, 12933, 8614, 938, 8174, 3952}, 3022: {9667, 10310, 9455, 10997, 10333, 9375}, 1784: {12640, 5569, 9314, 10755, 4128, 7045, 9062, 6679, 10025, 6958, 10837, 8758, 8567, 7414, 8026, 13180, 10622, 7871}, 2601: {7368, 11086, 9649, 3254, 2615, 1498, 10622}, 416: {4040, 1738, 8029, 109, 9655, 13304, 2237}, 3317: {9632, 9348, 901, 13001, 4303}, 562: {2310, 8235, 12686, 4176, 2163, 12377, 10622}, 2995: {11243, 1905, 11254, 5975, 4441, 5049, 10653, 11935}, 2675: {4899, 3589, 11375, 10197, 5336, 3256}, 848: {4201, 8053, 10363, 9437, 9054, 2783}, 1583: {2691, 8228, 7687, 6033, 467, 9147}, 1291: {4259, 11717, 12263, 7368, 7816, 12362, 6988, 9810, 10424, 1498}, 1317: {12714, 12365, 8013, 6414, 4505, 12443}, 3365: {6339, 10076, 1898, 12972, 12695, 10108}, 2966: {2691, 8228, 8614, 298, 3952, 9147}, 880: {6276, 6857, 4140, 13071, 3346, 12414}, 1778: {12001, 12129, 2766, 10959, 8788}, 2587: {2691, 3559, 3952, 4916, 8634, 539}, 179: {1357, 6126, 9075, 10964, 918, 4095}, 1210: {8576, 9063, 7368, 9194, 8845, 11086, 2415, 9649, 3254, 11319, 1498, 603, 4156}, 198: {7008, 2210, 4850, 8787, 3610}, 741: {7778, 9063, 6926, 11987, 12888, 1914}, 2280: {4033, 8198, 2026, 4271, 11668, 9147}, 2632: {9378, 5705, 7536, 6865, 8722, 7284, 12342, 7452}, 3235: {11840, 10180, 2031, 798, 11857, 8062, 4670}, 221: {6432, 3310, 9681, 11281, 13305, 2623}, 436: {13251, 11717, 9063, 1465, 8658, 7673}, 2473: {13083, 5219, 9063, 8722, 3575, 9211}, 2951: {8485, 10502, 7145, 10953, 4014, 11086, 9649, 8530, 8755}, 358: {3176, 529, 2324, 1721, 8026, 10622}, 1112: {7288, 2579, 8349, 7751}, 1006: {3587, 5519, 3889, 12691, 9942, 890, 10746, 8222}, 695: {6308, 5543, 9513, 11668, 3996, 2302}, 462: {1991, 9063, 1163, 11921, 9169, 310, 3575, 4156}, 2633: {9379, 2341, 3370, 10578, 115, 283, 11455}, 103: {10531, 8614, 7687, 938, 5872, 3952, 4916, 13333}, 879: {12640, 4328, 169, 7664, 6583, 6681, 12767}, 1465: {7368, 6988, 1424, 9458, 1237, 310, 1498}, 592: {9127, 3434, 12686, 12596, 11255, 9500, 6719}, 954: {2691, 8228, 12933, 8174, 3952, 9147}, 2457: {1026, 7174, 5062, 8359, 4017, 11032}, 640: {9953, 13130, 820, 6933, 2389, 3963}, 545: {5089, 3521, 12999, 4875, 7213, 3800}, 2873: {10531, 7561, 7785, 4718, 10063, 8046, 3952, 4558, 8634, 5147}, 1656: {6857, 3902, 3377, 7863, 6008, 10270}, 2164: {5184, 9063, 6926, 1713, 3575, 1914, 8892}, 3244: {7424, 11717, 2278, 7654, 9194, 3056, 2936, 11806}, 1152: {7368, 11086, 9649, 3575, 11992, 1498, 2331}, 1225: {11717, 9063, 9194, 8845, 2415, 10576, 4156}, 788: {954, 5064, 8010, 6521, 3034, 6556}, 2379: {6821, 2122, 9294, 10894, 8401, 2449}, 2096: {12455, 7914, 12462, 13071, 5429, 4317}, 921: {11392, 2565, 9485, 1647, 12496, 11857, 4858}, 2757: {3397, 11625, 5053, 4564, 10555, 4445}, 1464: {3587, 6151, 12104, 2540, 7288, 5850}, 2990: {2691, 8228, 12175, 3952, 3120, 4916}, 1966: {12519, 7147, 10416, 3762, 6068, 9428}, 2100: {3723, 5298, 7058, 8660, 8471}, 1997: {11171, 6310, 10415, 535, 6013, 1023}, 2908: {1952, 2720, 1154, 7205, 9158, 11336, 5292, 1617, 2869, 7734, 5078, 10713, 5017}, 771: {3652, 12232, 10250, 12720, 6706, 2613, 8447}, 1490: {6753, 741, 203, 9836, 2195, 12697}, 2699: {8384, 1760, 12452, 2515, 8472, 4671}, 1507: {12837, 13096, 7500, 12081, 9459, 12152}, 1052: {8931, 8997, 8421, 12966, 11689, 536, 5596}, 857: {13101, 4176, 4241, 7729, 8026, 5727}, 2458: {7975, 1228, 9265, 6614, 5977, 4189, 4121}, 1321: {10242, 291, 6403, 8360, 3244, 11468, 5968, 4176, 9556}, 508: {10048, 12737, 12686, 9039, 4176, 11824}, 2187: {4128, 8901, 10629, 11627, 2517, 13180, 4605}, 1138: {9920, 6593, 5153, 986, 9092, 9029, 3527, 6476, 783, 3346, 4278, 9175, 377, 2522, 10878}, 1634: {10126, 9649, 8755, 12025, 1498, 2331}, 664: {12455, 6857, 11310, 12851, 11195, 6525}, 2216: {10757, 3628, 5617, 9750, 1914, 10108}, 742: {2923, 2766, 4592, 6516, 8788, 6043, 10108}, 1110: {3428, 11717, 9749, 7416, 1465, 10622}, 600: {12176, 3731, 1543, 2591}, 596: {6144, 2193, 7794, 5242, 6430}, 2423: {6916, 2284, 109, 8093, 5363, 2237, 10171, 8029}, 1376: {442, 811, 1435, 12749}, 1763: {934, 11782, 8073, 8268, 1434, 12380, 12286, 12319}, 3279: {549, 9637, 12012, 7661, 4885, 4445}, 2182: {12192, 12897, 10600, 4237, 7634, 5939, 8308, 8382}, 363: {2636, 8729, 13071, 12377, 9500, 7102}, 1035: {10593, 11425, 7138, 3079, 12848, 1144, 12285}, 2413: {12293, 1738, 3436, 109, 5678, 7221, 10171, 8029}, 1204: {5577, 7965, 3574, 2329, 13084, 6749}, 3073: {1440, 11105, 4136, 5837, 7344, 7478}, 1258: {8578, 708, 132, 3397, 4919, 4445}, 1525: {4046, 6802, 5524, 9052, 2430}, 2355: {9063, 5767, 1163, 8463, 11921, 13338, 4156, 4414, 2015}, 1932: {4674, 428, 12, 11662, 10319, 658, 10035, 8659, 3221}, 3373: {674, 9314, 2246, 13127, 8987, 5917}, 3210: {9063, 7368, 11086, 9649, 3575, 1498}, 1215: {3076, 12485, 7623, 8041, 10554, 12122}, 2186: {10405, 8362, 6193, 5619, 10419, 29, 9629}, 924: {547, 327, 10285, 11857, 8369}, 861: {6274, 10654, 9512, 2031, 8062, 605, 4670, 6111}, 3013: {6274, 2031, 8062, 605, 10654, 6111}, 307: {2691, 8228, 12933, 3952, 4916, 8634}, 477: {10531, 8228, 12933, 7561, 8174, 3952}, 3201: {329, 10860, 11540, 10135, 6492}, 1088: {289, 12483, 4741, 5868, 9648, 4721, 55}, 2746: {7810, 1027, 394, 1293, 3727, 4119, 4121, 9244, 4253, 2336, 2217, 12079, 7600, 2115, 7492, 84, 3035, 10852, 8043, 251, 504, 249, 1147}, 2419: {10145, 995, 4489, 11856, 1270, 11038}, 3059: {8369, 9922, 4670, 3319}, 424: {2306, 8272, 49, 9876, 3575, 1594}, 3215: {5184, 9063, 6926, 2642, 5714, 635}, 754: {12518, 12169, 334, 13231, 9999, 4156}, 1205: {8746, 9989, 10490, 12535}, 2337: {2691, 8614, 5226, 3952, 4916, 13333, 10166, 539}, 1527: {11365, 3956, 11604, 2007, 8920}, 1875: {9025, 3623, 10855, 8140, 12048, 2454}, 2279: {12481, 11930, 7994, 3575}, 2638: {8901, 8999, 11310, 13071, 3377, 8433}, 746: {6914, 6469, 10988, 5617, 6617}, 3212: {13027, 15, 13105, 8978, 5149, 11481, 2459, 10877}, 1485: {8547, 6214, 391, 8716, 10864, 2035, 9492}, 2503: {352, 10401, 9029, 11880, 12879, 13180}, 1700: {3328, 10594, 8195, 4326, 9863, 6956, 12945, 6838, 7324, 8958}, 2566: {5184, 9985, 9063, 6668, 6926, 86, 3575, 4156}, 2117: {9984, 11650, 6221, 3956, 4885, 4445}, 828: {109, 10670, 8431, 8093, 5363, 1879, 2237}, 2122: {8576, 3776, 11911, 1465, 8658, 3254, 7673}, 486: {8259, 324, 12971, 12044, 689, 5497}, 206: {11076, 9125, 9142, 10844}, 2352: {10531, 10147, 7687, 9930, 3952, 7319}, 2941: {1573, 4712, 7607, 11449, 1627}, 1489: {2790, 9063, 7368, 5705, 11086, 2331, 4156}, 1188: {8864, 3776, 7874, 4707, 486, 12974, 5810, 10968, 12154}, 2429: {3085, 3885, 2958, 977, 3705, 9020}, 383: {3906, 6052, 12196, 2832, 10033, 3736}, 1572: {3201, 1765, 8783, 9174, 599, 1054}, 1134: {3436, 622, 2031, 8369, 12317, 4670}, 1626: {2691, 8614, 7687, 8174, 3952, 4916}, 698: {4069, 2879, 3383, 8889, 2203, 10588, 11775}, 467: {10531, 10147, 12933, 8174, 3952, 3120}, 1114: {8422, 2984, 7758, 1838, 4526, 5459, 13050, 10076}, 656: {2914, 6213, 2949, 2023, 7886, 3183, 3254, 10650, 574}, 3007: {7368, 490, 6988, 5071, 4176, 1424, 10681, 1498}, 3354: {6915, 7206, 7047, 7307, 8786, 11831}, 1115: {710, 1639, 7471, 7411, 12822, 11353, 8380, 11997}, 973: {4066, 359, 6664, 5034, 8239, 6194, 3380, 9369, 9209}, 2464: {10400, 9090, 10695, 11881, 5611, 5516, 11086, 9649, 11701, 6101, 12025, 2331}, 1968: {13379, 420, 7942, 8760, 9323, 4894, 8561, 9139, 11348, 727, 3800, 2778, 3324, 6814}, 1050: {12129, 8493, 2766, 434, 6516, 10392}, 1695: {11840, 4670, 8369, 4886, 3319, 3255, 798}, 44: {9601, 5770, 12557, 6287, 7920, 8816, 11636, 5337}, 2384: {9063, 3179, 8722, 12018, 12402, 6805, 6007}, 1755: {2691, 12933, 8614, 7687, 3952, 4916, 11384}, 2524: {2691, 4613, 11206, 2635, 6414, 3952, 11472, 6618, 9147}, 1196: {8097, 10434, 3078, 12679, 12850, 13043}, 2584: {1536, 7521, 2020, 613, 38, 12397, 2323, 12181, 7606, 10622}, 663: {8641, 11048, 395, 9837, 10414, 10264, 10749}, 2690: {10180, 2771, 7221, 3255, 12317, 4670}, 2678: {9991, 5417, 10068, 6362, 6172, 7327}, 756: {3233, 2244, 10918, 999, 5126, 3742}, 87: {2403, 10438, 3087, 1583, 5007, 5683, 1338}, 56: {6886, 798, 8369, 3255, 3319, 4670}, 1034: {6881, 1668, 12687, 3925, 3575, 9272}, 2903: {13216, 417, 13219, 5382, 939, 4689, 12150, 4218}, 1957: {12134, 10426, 6409, 10221, 3510, 8602}, 1073: {3233, 12035, 1608, 7919, 11701, 13206}, 3314: {11207, 3245, 10839, 12953, 11675, 6814}, 1149: {9893, 6598, 648, 12201, 6730, 13391, 51}, 2691: {2691, 9147, 3996, 539, 4092}, 2012: {3456, 2724, 12455, 5195, 8433, 3191}, 1108: {3436, 109, 5678, 8369, 2420, 3255}, 777: {9063, 423, 6730, 3885, 5359, 4156}, 1459: {5184, 9985, 2306, 9063, 6926, 3575}, 343: {10210, 1411, 3110, 3719, 7017, 5353, 11948, 2644, 10005, 4342, 440, 4347}, 1623: {8900, 7654, 6667, 13180, 8669, 9470}, 304: {2691, 12933, 7785, 8174, 3952, 4916, 9911, 11384}, 2178: {9328, 13393, 6187, 8260}, 1888: {2691, 12933, 7687, 1897, 3952, 3889, 4916}, 537: {2691, 12933, 8614, 3559, 8174, 3952, 5872, 4916, 13333, 11384}, 2125: {10531, 8228, 2691, 5704, 3952, 5872, 13331}, 2546: {2784, 9344, 5416, 5970, 13369, 3452}, 3229: {12640, 6630, 5737, 9578, 5205, 7863, 11992}, 2229: {4256, 10945, 12197, 12454, 5318, 1545, 3275, 235, 10960, 4208, 4018, 4179, 7029, 2358, 7390, 5567}, 2606: {5536, 12551, 652, 3952, 1968, 852, 9942, 5561, 10746, 13307}, 3145: {8325, 6285, 3348, 12566, 11676, 8028}, 430: {10146, 2244, 6054, 1991, 7432, 2313, 7884, 973, 6639, 1432, 13275, 7263}, 2389: {4556, 4815, 3377, 4377, 8829, 10270}, 2322: {9637, 7661, 4367, 4885, 11670, 10809}, 60: {7873, 12155, 13384, 2702, 4817, 7578, 7547, 10108}, 1030: {3059, 9877, 886, 10015}, 1479: {3139, 6119, 587, 526, 12754, 2646}, 1051: {5514, 6958, 11601, 3377, 1208, 10297, 10270}, 1855: {10821, 5862, 8198, 4271, 467, 11668}, 2157: {2691, 12933, 1227, 3952, 11384, 8634}, 2003: {1509, 3591, 11787, 12108, 1995, 5693}, 498: {38, 8070, 11310, 11824, 1044, 7606, 8447}, 145: {2691, 12933, 3952, 12851, 11384, 9147}, 2354: {4324, 7558, 11339, 7148, 12718, 2587}, 1550: {867, 12583, 4719, 3444, 9750, 5847, 6622}, 1753: {2568, 5705, 4746, 5995, 12342}, 2779: {1795, 3535, 7152, 2231, 665, 6170, 11422}, 220: {4167, 9063, 12169, 3307, 2129, 1590, 4156, 11773}, 2284: {5859, 3366, 12683, 3148, 8109, 6958, 12720, 2324, 11989, 8118}, 2780: {5702, 2054, 5242, 9677, 5969, 7418}, 26: {2916, 8901, 9542, 2670, 10415, 5916}, 2440: {8367, 10160, 3760, 468, 1912, 8697}, 1557: {2208, 12331, 13195, 1549, 5487, 10131}, 268: {2560, 10859, 3149, 7505, 1300, 13370}, 1486: {13121, 9063, 6926, 10510, 5617, 1914}, 1802: {3302, 7117, 10671, 5968, 10961, 4918, 11100}, 318: {12129, 10855, 1643, 3884, 12048, 7348, 4277, 12470, 4887, 13401}, 2641: {7129, 6170, 9748, 7654}, 243: {5698, 10851, 3570, 7192, 9049, 1211}, 1897: {11992, 7460, 12037, 2687}, 3076: {3587, 8998, 5005, 10778, 5850, 12700}, 1264: {4834, 8650, 2010, 10621, 10653, 8351}, 608: {5184, 9985, 9063, 6926, 86, 3575, 3287, 5759}, 3083: {12686, 12462, 8756, 3576, 10681, 2587}, 2071: {2532, 9063, 12630, 3575, 3738, 8605, 1914}, 63: {7488, 5220, 5253, 7891, 2711, 1950}, 3303: {1251, 2279, 11112, 10869, 10422, 2871}, 2381: {12164, 423, 12777, 1225, 6898, 2711}, 7: {7301, 9709, 5207, 7256, 6490, 9342}, 1378: {8681, 8496, 1970, 1427, 11702, 11965}, 185: {2691, 1606, 8614, 7687, 7785, 3952, 4916, 11384, 8634}, 2199: {3952, 13333, 12933, 7319}, 1954: {2979, 11079, 9995, 11404, 4908, 5887}, 2627: {5285, 5126, 11310, 783, 3346, 10878}, 802: {2691, 5872, 3952, 4916, 7319, 11384, 539}, 3143: {5024, 8482, 5958, 2326, 4312, 4413}, 3130: {12069, 3014, 966, 2344, 5457, 12351}, 1053: {5603, 3111, 7498, 6828, 11249, 4825}, 1001: {10408, 7048, 10668, 10000, 1335, 4472, 10844}, 3226: {5569, 6337, 3617, 12676, 1926, 13063, 423, 9063, 11820, 972, 5359, 7475, 2548, 8339, 10938, 12989, 4639}, 311: {10531, 12933, 3559, 8174, 3952, 2388, 11384, 9147}, 3281: {2886, 396, 9872, 6103, 10041, 1913}, 248: {2698, 1663, 8573, 11103}, 1807: {4613, 8198, 9994, 6033, 6035, 11668, 3996, 2212, 4781, 4271, 9147, 11206, 2635, 467, 5080, 8281, 6618, 7650, 2026, 13292, 9710, 3957}, 2790: {8423, 10997, 8309, 11705, 508}, 620: {10887, 8394, 3119, 4436, 7094, 8732}, 642: {5184, 9985, 8613, 9063, 10955, 6668, 6926, 3575, 4156}, 2682: {6272, 5411, 12299, 2318, 4885}, 2696: {10212, 5765, 9063, 7886, 8628, 2331}, 3263: {739, 4681, 2986, 716, 7167, 879, 6960, 5332, 10165, 10582, 10167, 4444, 3579, 12924, 7543}, 3236: {5091, 39, 11825, 26, 6683}, 215: {5227, 11853, 11186, 6580, 1626, 7259}, 561: {439, 7943, 2441, 7243, 6671, 179, 12404, 3061, 10454, 4791, 2582, 8510}, 2960: {1543, 6951, 12202, 11086, 12084, 13180}, 2853: {8896, 12773, 11717, 11943, 12263, 1465, 4216, 7673, 603, 5757}, 683: {7458, 3748, 12807, 1294, 7665, 8213}, 1595: {4132, 5766, 12394, 4176, 7162, 13180, 10622}, 2511: {12327, 11148, 11376, 8784, 5234, 9235}, 1322: {2691, 12933, 4718, 8174, 3888, 3120, 3952, 10063, 4916, 13333, 8634}, 271: {10496, 3043, 7654, 4294, 8615, 5196, 10415, 3189, 1023}, 2734: {6029, 12977, 5236, 1492, 12381, 11358}, 785: {7654, 4461, 6190, 8336, 7606, 253}, 3309: {10212, 9830, 10676, 10997, 13180}, 1347: {6785, 6529, 5411, 9414, 9350, 9917, 8137, 11274, 1134, 8017, 4885, 4150, 11670, 5053, 894}, 2357: {9063, 3978, 2314, 6926, 2259, 3575, 3133}, 1045: {4259, 7434, 12362, 1424, 3254, 7673, 12095}, 3065: {13186, 6499, 12963, 6472, 4937, 8700}, 3352: {4705, 4547, 10984, 7758, 6768, 3710}, 3259: {5184, 9985, 9063, 6668, 12652, 6926, 334, 8882}, 1750: {5923, 12943, 4786, 564, 2005, 6975}, 1444: {2691, 8614, 938, 5872, 3952, 13333}, 2324: {5924, 2534, 12648, 9194, 8845, 7385, 1023}, 758: {10531, 8228, 12933, 298, 8174, 9147}, 3140: {4996, 10212, 9900, 5869, 2266, 9375}, 2005: {9345, 7969, 6789, 7657, 11341, 6610, 12915, 10997, 6007, 6200, 6234, 13243, 8444, 2652}, 107: {13156, 7654, 13071, 2001, 12633, 13180, 10270, 2652}, 2360: {10654, 11210, 3436, 109, 5678, 11857, 8062, 4670}, 1314: {3168, 3235, 1550, 3375, 6935, 7384, 5886}, 864: {7214, 11801, 1040, 6065, 10547, 11865, 8219}, 920: {11310, 12686, 8849, 9079, 3576}, 1510: {6857, 4140, 13071, 11311, 3377, 2455}, 557: {2691, 4271, 3952, 11668, 4916, 12760, 4092}, 2194: {8262, 11914, 4814, 11316, 4504, 13181, 703}, 3313: {5129, 13071, 5842, 8051, 4317}, 1399: {5184, 9985, 8492, 2994, 4690, 2164}, 126: {12545, 9478, 12297, 13198, 10903, 7063, 13230, 10929, 6965, 11068, 10687, 6731, 9804, 6734, 13394, 6995, 11094, 10969, 8288, 3040, 6120}, 2111: {7752, 4866, 2162, 10535}, 2507: {3973, 11337, 12362, 4852, 12059, 13180}, 3335: {2691, 12933, 7785, 8174, 3952, 4916, 13333, 8634, 4092}, 1318: {1313, 12098, 6401, 1060, 12934, 8902, 8106, 9584, 4531, 55, 3992, 2012}, 41: {6816, 6404, 6824, 12463, 2009, 10300}, 775: {11625, 6699, 11373, 2162, 4885, 8438}, 2054: {1634, 4261, 2822, 4359, 11144, 7144, 10570, 7215, 3989}, 2409: {8419, 2116, 12124, 7560, 5863, 5808, 8273, 1394, 12147, 8691, 3090, 10428, 4247, 10072, 3993, 12570, 7036, 5918}, 171: {6561, 10946, 6564, 5908, 6999, 3192}, 173: {5184, 9985, 8518, 9063, 4808, 3978, 6926, 3575, 5816, 7224, 9595, 311}, 1673: {526, 3026, 6291, 4532, 822, 12090}, 3042: {4645, 645, 10281, 1457, 9973}, 2782: {1728, 4931, 6532, 9411, 2342, 9795, 4195, 4585, 7881, 6478, 11407, 208, 9042, 10867, 5876, 10327, 4633, 9404}, 1193: {11106, 9480, 8680, 4110, 1366, 2041}, 1097: {1128, 505, 2100, 10365}, 15: {4486, 617, 12050, 5178, 7548, 12829}, 2530: {11840, 3436, 5678, 2031, 3255, 10171}, 2588: {1955, 6853, 10663, 4137, 5586, 6327}, 3380: {160, 13350, 5899, 11185, 5783, 4344}, 791: {11168, 11456, 4849, 10258, 27, 6814}, 2298: {10531, 8614, 3952, 13333, 7319, 11384}, 2411: {11010, 3, 10660, 8940, 7184, 2296, 10844}, 2431: {9867, 5104, 5267, 10933, 5942, 3799}, 1065: {8486, 2026, 4271, 11668, 11096, 3769}, 1556: {2530, 8551, 3663, 5393, 13180, 7999}, 203: {9063, 5759, 86, 3575, 7161, 5980, 10844}, 3039: {8640, 6976, 11492, 3398, 5480, 11593, 267, 1166, 3477, 7415, 3199, 1119}, 3202: {11750, 9574, 10216, 1231, 10515, 2262}, 2436: {6274, 10654, 4670, 798, 11857, 9170, 8062}, 2639: {1538, 11551, 9029, 6280, 7707, 1979, 1787}, 631: {5184, 5634, 9063, 2569, 5726, 4173, 11341, 6926, 11921, 3575, 11930, 4156, 5790}, 1231: {9063, 7368, 9649, 12342, 3575, 1498}, 2497: {2691, 8228, 3952, 4916, 8634, 4092}, 2750: {4875, 5773, 8079, 6424, 10525, 6952, 8744, 810, 5547, 10536, 1072, 947, 3521, 3394, 13123, 12999, 10059, 2380, 1869, 11982, 3532, 12752, 9422, 7762, 13010, 8532, 5204, 11348, 7893, 9811, 5330, 12772, 12260, 3443, 12023, 4090, 12029}, 393: {608, 1635, 12486, 7917, 12049, 11409, 4885, 7383, 4445}, 2129: {9223, 8455, 8583, 785, 7825, 7189, 2965, 9109, 2712, 7960, 3862, 10522, 9244, 412, 9114, 12706, 3747, 1316, 6438, 10920, 11179, 173, 5551, 13106, 1714, 8244, 6451, 6198, 950, 4154, 12219, 6202, 6586, 11324, 3006, 5182, 9409, 3898, 2115, 3134, 13125, 6726, 1734, 3194, 5065, 7373, 5581, 2513, 12753, 8531, 12373, 13142, 2647, 345, 3035, 861, 609, 102, 4967, 12264, 6631, 8938, 9067, 1004, 11245, 8424, 1266, 1779, 11764, 8434, 755, 119, 4601, 6650, 5113, 9086}, 1702: {8453, 9868, 10388, 3033, 4507, 6237}, 1021: {7328, 5956, 3367, 3977, 5105, 469, 1432}, 170: {4804, 11302, 9959, 3273, 6411, 4272}, 1707: {7, 1800, 11886, 10738, 6680, 12442}, 1541: {8867, 3495, 4139, 460, 4172, 4847, 8982}, 1337: {12866, 3043, 6986, 11950, 6575, 10992, 10935}, 2023: {1538, 9924, 3017, 6382, 7311, 7632, 338, 5530, 13148, 10173, 3231}, 2225: {5184, 9985, 9063, 3978, 6926, 3575}, 2978: {1738, 7946, 8029, 109, 11887, 1879, 2237, 1534}, 2571: {6263, 5209, 7450, 10779, 8063}, 51: {870, 4071, 4106, 2348, 7220, 10398}, 1933: {6720, 2284, 109, 8093, 10171, 2237}, 3280: {9063, 5965, 10253, 6926, 4305, 13180}, 1361: {3846, 6122, 13003, 4945, 6292, 5340, 541}, 1736: {1121, 6923, 12235, 12786, 147, 7285}, 2979: {2375, 7496, 6381, 2546, 3770, 7547}, 2581: {8096, 7177, 2569, 12560, 5235, 1812, 13367}, 2567: {6848, 9888, 5666, 195, 1892, 10080, 9095, 4909, 7086, 6993, 4955, 9788}, 2821: {7073, 10626, 6659, 3489, 9925, 2854, 8265, 9419, 12498, 2901, 9366, 2136, 7577, 8347, 5919}, 512: {288, 3874, 4003, 1700, 12369, 2779}, 1874: {8614, 10063, 9488, 3952, 11384, 9147}, 898: {7169, 11271, 3975, 10537, 917, 6044}, 2950: {1247, 6246, 10248, 1167, 3632, 12143, 12277, 12287}, 1956: {5004, 7574, 10267, 4257, 3498, 10539, 10667, 5549, 10043, 2621, 3146, 11215, 1877, 11480, 11609, 7775, 12385, 3817, 7658, 11118, 2291}, 2424: {11717, 9063, 9194, 1465, 921, 4156}, 1587: {641, 10413, 11917, 11441, 4883, 11580}, 1848: {1984, 13217, 9506, 12868, 3654, 7945, 6591, 141, 9934, 6159, 7407, 12656, 2867, 11955, 7765, 4470, 7834, 6139, 8733, 2303}, 701: {4384, 8905, 1747, 6067, 7164, 1437}, 1838: {2789, 10118, 4425, 2673, 4826, 2331}, 319: {8198, 4271, 6035, 11668, 3996, 5502}, 2050: {2691, 8614, 7687, 5872, 3952, 4916, 13333}, 2249: {2784, 1860, 4176, 2455, 12377, 11550}, 1005: {10287, 13359, 10225, 1327, 346, 9435}, 2173: {5219, 264, 5705, 429, 11598, 4717, 8722, 12342}, 2190: {6307, 7465, 5584, 12882, 1012, 10521}, 3324: {6720, 5678, 2031, 9170, 7221, 3319, 12317}, 687: {38, 6857, 13071, 7606, 4412, 2462}, 2402: {2691, 12933, 1606, 7687, 8174, 3952}, 667: {202, 6773, 6905, 9305, 3098, 8986}, 550: {291, 7117, 10671, 4176, 3254, 8758, 13180, 10622}, 1844: {8801, 11204, 8292, 9131, 3600, 1201, 9746, 7091, 10292, 1397, 1236, 13271, 4031, 11994, 6267, 9789, 3962, 7615}, 906: {7786, 12011, 12462, 12686, 3346, 12377}, 653: {10051, 9797, 9063, 9963, 6484, 12601, 11930, 4156}, 993: {549, 9420, 6188, 1134, 4885, 12408}, 1208: {5184, 9063, 6926, 4051, 12276, 3575}, 1680: {5867, 1836, 4431, 4946, 8117, 9149}, 2909: {10531, 2691, 8614, 7687, 4718, 3952, 13333, 7319}, 2460: {9029, 8487, 8809, 10154, 13038, 13071, 3354}, 67: {10371, 7908, 4912, 1658, 2812, 6271}, 526: {13120, 11779, 906, 10545, 12948, 5911, 1176, 5629, 1758}, 2823: {964, 13126, 7847, 1552, 7767, 11966}, 826: {3043, 38, 10312, 714, 12851, 10590}, 487: {3265, 10725, 10171, 1738, 109, 5678, 3768, 11769, 6235}, 3018: {5184, 6369, 9063, 6926, 3575, 4156}, 446: {11555, 10763, 1558, 2423, 12666, 12191}, 865: {8300, 12916, 7798, 4540, 3389, 8702}, 847: {4964, 9043, 8052, 5812, 948, 8441, 7422}, 899: {13347, 4292, 2923, 12048, 8400, 2681}, 3182: {6785, 4291, 9637, 12012, 7661, 8818, 4885, 11670}, 285: {10496, 7427, 6503, 8999, 11884, 1356, 5359, 1333, 4059, 2653, 5023}, 3221: {6912, 5282, 7619, 1412, 1157, 5828, 450, 4103, 9382, 9164, 9645, 8877, 11183, 1726, 7250, 180, 9014, 9916, 10941, 11646}, 361: {5184, 9985, 11521, 9063, 6926, 3575, 3513}, 2896: {12515, 5132, 10930, 3672, 8505, 7676}, 3374: {1760, 5861, 4877, 4653, 2906, 10044, 11295}, 2067: {2435, 5705, 7053, 8722, 12018, 13083}, 1970: {9063, 10728, 11503, 5617, 3575, 1914, 10844}, 3332: {291, 3338, 6988, 8758, 10681, 10622}, 1927: {7652, 1225, 5962, 9997, 9712, 23}, 1967: {5408, 6403, 10502, 2352, 9649, 1498}, 894: {7523, 6183, 3239, 1934, 13199, 12594, 4956}, 1491: {3077, 6569, 6442, 10613, 10139, 10492}, 1384: {929, 11459, 11493, 13414, 5931, 8652, 8333, 11567, 7122, 7544, 3355, 9692}, 259: {2784, 2790, 11434, 9070, 8504, 2457, 7964}, 232: {7976, 6906, 6318, 13102, 3312, 13332, 11674}, 1166: {8005, 4646, 6351, 2293, 3383, 764, 9693}, 2011: {1952, 7655, 8424, 11368, 1646, 6650}, 16: {3941, 12870, 10122, 7659, 8814, 9113}, 2151: {13185, 11170, 2914, 10408, 746, 10668, 5134, 10354, 5299, 8758, 1335, 4472}, 1243: {5728, 4130, 6500, 715, 12056, 6522, 3131, 6301}, 1104: {2691, 8614, 7687, 7785, 5872, 3952, 4916, 13333}, 3047: {1637, 13071, 11311, 5429, 1819, 3902}, 1683: {10016, 12640, 6958, 6679, 6810, 8379}, 1608: {1738, 3436, 109, 2031, 7221, 9022}, 162: {11937, 2850, 1134, 4564, 10555, 10559}, 199: {10081, 5718, 7736, 7451, 2110, 3295}, 3346: {11307, 12131, 13228, 9846}, 726: {1895, 10546, 7221, 6425, 4252, 10654}, 1915: {832, 7910, 2066, 12054, 11354, 11293, 7455}, 2274: {7650, 2635, 13292, 9710, 4271, 3952, 11668, 9147}, 1342: {10890, 9226, 9444, 2995}, 1417: {7368, 11086, 1102, 9649, 7633, 12342, 1498}, 977: {10433, 364, 11727, 10301, 12382, 12511}, 2416: {9824, 10817, 5186, 12802, 12548, 1226, 11628, 4175, 10193, 437, 21, 12536, 12796, 6495}, 585: {4358, 8519, 10282, 11850, 3021, 2189, 1133, 3917, 11058, 10259, 9812, 6205, 1047, 473, 5594, 6073, 10396, 11517}, 1529: {12226, 11369, 12362, 7419, 11824, 10997, 11896, 5433, 1498, 3291}, 3162: {4867, 13227, 9553, 1780, 8091, 8383}, 980: {10114, 2691, 12933, 3952, 5872, 9147}, 1029: {2691, 8614, 938, 3952, 7319, 9147}, 3035: {9508, 5765, 13163, 11310, 4117, 2107}, 2577: {5635, 4548, 1926, 9255, 13266, 1333, 10111}, 38: {3136, 8675, 9637, 3956, 11931, 5053}, 1971: {7969, 9636, 5703, 10731, 1260, 4020, 7701}, 2693: {3877, 7725, 7821, 9914, 12986, 155}, 2245: {2691, 8228, 12933, 7785, 8174, 3952, 4916}, 784: {9637, 7624, 13164, 7661, 12591, 7314, 4885, 5112}, 1493: {7904, 6056, 8237, 10669, 7895, 13242}, 668: {11138, 11815, 7849, 3246, 3320, 12761}, 2235: {5184, 9985, 8418, 10976, 9063, 6926, 3575, 4156}, 2289: {5880, 11923, 11926, 2716, 6814, 10014, 11692, 7984, 305, 12979, 9669, 455, 1613, 13006, 719, 4570, 2907, 8284, 7773, 5342, 2021, 13159, 12664}, 2654: {10531, 2691, 12933, 3952, 4916, 8634, 4092}, 914: {775, 1581, 9070, 3728, 1971, 1145}, 2858: {9063, 11911, 8874, 4140, 984, 863}, 101: {7654, 9649, 8755, 3254, 11992, 1498, 10622}, 3184: {2753, 9894, 4394, 8622, 7503, 7603}, 2831: {1860, 2216, 12781, 9871, 8880, 8849, 11190}, 2824: {13222, 11464, 4556, 3377, 5400, 3902}, 515: {1511, 3499, 49, 2259, 9559, 5820}, 513: {12813, 12208, 2994, 9559, 1914, 9117, 10622}, 2502: {9025, 204, 1009, 9745, 4277, 7547, 8637, 9951}, 1232: {8612, 5670, 8840, 10868, 2678, 10648, 8381}, 1581: {9063, 7368, 5705, 11086, 6101, 2331}, 1774: {13083, 7397, 9211, 9063, 7053, 4315}, 1047: {9063, 8076, 405, 5942, 2646, 11128, 6709, 11062, 4156}, 2212: {7975, 1868, 6096, 5779, 11029, 2167}, 655: {9249, 3643, 3655, 2475, 12590, 11257, 8187, 5983}, 3156: {5120, 4354, 8712, 12937, 663, 10265, 7837, 6177, 3491, 4260, 6011, 10790, 4775, 13357, 9261, 2608, 11185, 2097, 951, 11320, 3644, 10690, 9154, 3524, 10694, 2764, 5589, 3288, 5593, 3673, 6874, 5597, 2270, 9825, 6371, 12003, 2277, 7781, 7143, 10214, 11878, 10096, 6897, 9200, 6904, 6649, 8571, 3838}, 2544: {12455, 2057, 12908, 4556, 10223, 12344}, 1063: {8291, 8099, 12270, 10352, 9310, 9982}, 265: {683, 2415, 13071, 3377, 7863, 6008, 2652, 10270}, 92: {2534, 9063, 9194, 12587, 8845, 11992}, 1118: {2083, 12132, 9649, 3575, 1498, 2331}, 3101: {7106, 3587, 7184, 4630, 2296, 11231}, 3264: {3587, 6308, 2691, 8198, 2119, 133, 7184, 11668, 12500, 11317, 2296, 3003, 11231}, 497: {8001, 11717, 9063, 9194, 1586, 4156}, 1955: {4707, 6667, 4270, 1582, 12113, 11321}, 196: {5600, 11078, 4519, 12107, 12306, 12215}, 3025: {8518, 9063, 9865, 12630, 3575, 8414}, 2454: {12969, 8393, 4878, 5881, 987, 10429}, 1437: {3142, 5225, 9357, 4592, 5617, 3575, 1914}, 572: {6753, 1833, 9836, 6546, 10423, 4792}, 317: {2691, 7687, 7785, 3952, 4916, 9147}, 2158: {1696, 2562, 1155, 10340, 12358, 5192, 12043, 7951, 3857, 11636, 9845, 5337}, 2531: {1347, 2413, 2834, 10549, 12182, 2970, 11773}, 1165: {13152, 3814, 4551, 458, 13330, 13367, 2586, 7261}, 956: {13154, 2415, 5203, 12243, 12086, 7863, 13180}, 749: {10915, 521, 8973, 11693, 22, 12119, 3162}, 1172: {7488, 6624, 7782, 4170, 331, 8953}, 2219: {8128, 6161, 3749, 11943}, 2869: {5792, 5286, 1063, 459, 10896, 4187}, 2483: {6785, 12299, 910, 8818, 11670, 5053}, 3132: {2080, 3462, 4330, 13138, 13210, 12891}, 533: {7767, 3796, 276, 8470, 5591, 12664}, 1495: {9440, 2784, 1667, 9966, 9112, 6494}, 1237: {5184, 3575, 5265, 4051, 9559, 1914}, 1687: {6583, 10665, 11017, 7863, 11827, 5331, 4469, 13111, 11897}, 280: {8768, 6987, 5039, 277, 1759}, 1341: {8225, 6978, 2083, 7779, 7841, 7368, 5705, 617, 5625, 12342, 11063, 8758, 4118, 1498, 2331}, 856: {12098, 1892, 5124, 4652, 4688, 10355, 9398}, 2543: {11748, 11461, 2248, 3960, 10684, 8572}, 2107: {7841, 9063, 7368, 5705, 7149, 11086, 9649, 6101, 12342, 3575, 1498, 2331, 4156}, 568: {1281, 4322, 6536, 6862, 8657, 594, 1459, 695, 6042, 9660, 4381, 350}, 2710: {833, 12048, 4277, 4984, 7547}, 2086: {3010, 7434, 8461, 2415, 1168, 13180}, 873: {6597, 5800, 9609, 9486, 8080, 11743}, 2161: {8928, 9857, 1956, 5447, 3534, 11890, 7284, 7896, 10557, 4190}, 98: {1538, 3811, 3176, 2324, 8858, 13180}, 253: {9600, 8676, 9968, 10937, 6939, 6750}, 2758: {503, 10775, 7952, 5266, 10709, 3831}, 375: {7232, 9697, 707, 721, 11673, 1565}, 54: {4675, 12644, 10341, 5515, 3310, 9136, 9023}, 2250: {10531, 2691, 8614, 938, 5872, 3952}, 251: {9063, 6511, 8722, 9077, 3575, 4156}, 2042: {6272, 2114, 2318, 4564, 4885, 7383, 10555}, 2759: {2784, 6403, 4259, 7368, 12362, 8203, 12686, 12240, 5299, 7129, 1498, 13180, 158}, 1740: {5860, 3900, 1704, 10825, 7467, 6572, 3666, 5239, 13112, 5658, 9180, 4862}, 298: {3575, 9063, 7368, 11063, 11086, 9649, 9458, 6101, 2615, 1498, 2331, 4156}, 1041: {8128, 7140, 12263, 10828, 9500}, 1920: {2723, 12360, 7499, 3151, 8658, 6612, 5751, 1243, 1756}, 671: {5184, 9985, 13312, 9063, 6926, 8848, 9524, 5718, 3575}, 1610: {12770, 1931, 1334, 4859, 12541}, 1190: {12248, 12561, 603, 1845}, 3053: {5184, 9063, 5675, 6926, 2776, 5617, 3575, 5816, 1691}, 1854: {12224, 5635, 2244, 6958, 5427, 6996}, 2134: {2691, 8614, 3952, 6033, 4916, 13333}, 3021: {5184, 9985, 9063, 6926, 3575, 5759}, 258: {5284, 3915, 10829, 9743, 7857, 10579, 7092, 7764, 10742, 2650, 8763, 8542}, 3102: {2500, 7371, 9713, 10006, 10137}, 330: {2183, 5287, 5545, 10380, 4624, 10965, 10198, 1596}, 1144: {1440, 1481, 1195, 3406, 5839, 13044, 12885, 6645, 3000}, 2803: {10305, 9063, 5354, 11338, 6124, 12339, 310}, 478: {2691, 12933, 7785, 9930, 3952, 13333}, 2582: {7650, 2691, 7687, 467, 4916, 9147}, 2867: {3457, 10947, 8038, 5905, 5849, 12441}, 1261: {1738, 109, 8093, 5971, 5363, 10171, 2237, 4670}, 2783: {10176, 9858, 5097, 7882, 7534, 336, 4273, 1815, 6394, 9947, 2428, 9661, 4127}, 841: {10119, 12082, 10136, 5624, 10425, 7740}, 2981: {6884, 7855, 3573, 8213, 5782, 13018}, 685: {12163, 4805, 12453, 7565, 7248, 9842, 11258}, 1379: {5184, 1985, 9985, 12518, 11594, 6541, 6926, 5359, 5232, 49, 4178, 4925, 7870}, 2961: {6947, 13064, 493, 7512, 11516, 6748}, 2155: {225, 10531, 8228, 7785, 3952, 7319, 11384}, 3296: {2691, 8614, 7687, 7785, 3952, 3889}, 2996: {8228, 12933, 8174, 3120, 3952, 3888, 13333, 11384}, 376: {10022, 1961, 9772, 6098, 1170, 11252, 9404}, 2736: {7267, 10181, 8230, 10758, 7881, 10140, 9387, 5163, 6814, 10865, 3794, 3891, 2931, 5591, 633, 6555, 188, 6782, 1279}, 2860: {1475, 9063, 12392, 5225, 12205, 5617, 2545, 3575, 8152, 1914}, 2344: {3553, 1098, 8205, 4079, 12465, 5270, 5622, 10552}, 2029: {1, 9637, 10823, 171, 4720, 2200, 9917}, 587: {12933, 8614, 7687, 7785, 3888, 3952}, 1758: {104, 8457, 8335, 8976, 5265, 2994, 2259, 1940, 9559}, 1033: {9729, 12995, 6123, 2417, 2225, 8401, 11635}, 1180: {322, 12263, 7368, 1543, 11086, 9649, 2615, 1498, 6843}, 3159: {3172, 4198, 9773, 5458, 1916, 12383}, 1817: {6082, 6951, 2829, 10030, 462, 1011, 2324, 7961}, 2205: {12640, 7367, 6958, 11827, 8213, 6583}, 270: {1540, 11398, 7723, 3506, 725, 4629, 4343}, 1194: {5184, 9985, 9063, 10955, 6668, 6926, 3575, 4089, 1914, 4156}, 2455: {8993, 11588, 6792, 907, 4147, 5532}, 1936: {3200, 4388, 1413, 10052, 11155, 7350, 9239, 8758, 8570, 2142}, 2835: {5184, 12236, 9292, 11505, 13266, 9368}, 324: {5184, 9063, 4296, 6926, 1914, 10844}, 697: {8226, 100, 7210, 8241, 6812, 10558}, 255: {7654, 5896, 12047, 9906, 12377, 186}, 2034: {12578, 1772, 3341, 4717, 7952, 528, 10709, 7801, 8444, 7901, 511}, 534: {3555, 264, 5705, 1102, 8722, 12342}, 2609: {6209, 3108, 9637, 171, 7661, 4885, 8535}, 2788: {10854, 5706, 4141, 12048, 3765, 3999}, 995: {7617, 5379, 4548, 3947, 12654, 6958}, 2516: {5184, 9985, 9063, 7177, 7466, 3978, 6926, 8882, 3575, 3032}, 1569: {12392, 2224, 9559, 1914, 6364, 10622}, 743: {6106, 10026, 10123, 1773, 1902, 1456, 2738, 8055, 5754, 9821}, 2643: {5673, 3950, 4463, 13103, 10511, 2398}, 2046: {229, 12873, 1803, 8529, 6102, 5910}, 813: {6147, 6019, 10406, 7789, 2607, 4752, 7409, 5300, 3704, 10751}, 3014: {13285, 6730, 7280, 2226, 3507, 5043, 7096}, 1475: {7841, 5219, 10760, 1512, 5705, 4746, 8722, 6966, 9462, 3257}, 3141: {9318, 5734, 1448, 13298, 9562, 7291, 7997, 7899}, 2456: {2691, 8614, 10063, 3952, 4916, 13333}, 2984: {5184, 9985, 4609, 10220, 11920, 4661, 3575}, 2767: {5929, 10090, 2927, 9592, 5498, 2332}, 2262: {9570, 9029, 103, 6280, 10878, 10270, 10494}, 1558: {2691, 12933, 8614, 938, 8174, 3952, 4916, 9147}, 33: {5505, 5510, 2439, 9487, 13328, 5520, 12434, 13335, 8611, 7972, 936, 12846, 10673, 9523, 1460, 1082, 7099, 10683, 12996, 9543, 1352, 8007, 847, 1615, 9809, 11730, 10321, 10069, 4438, 9430, 2139, 7389, 11745, 1761, 357, 487, 13297, 12278, 12151, 2683, 9726}, 835: {5184, 9985, 9063, 6926, 3575, 635}, 1377: {9827, 1926, 3916, 3449, 829, 5951}, 3304: {8209, 3571, 12782, 367}, 111: {9063, 3978, 2255, 12177, 5235, 3575, 5816}, 1737: {4128, 3232, 3346, 921, 11903}, 291: {8199, 1867, 9003, 4333, 1684, 10836, 12534, 9466, 2524}, 1353: {5697, 11426, 995, 1793, 9772, 12013}, 294: {10244, 11175, 11638, 3928, 10105, 10456}, 130: {2296, 7184, 3003, 11317}, 994: {7747, 3369, 3114, 1932, 12815, 5274}, 911: {4870, 4587, 372, 6229, 7287, 9656, 2809, 9599}, 13: {9280, 3048, 6857, 13071, 11311}, 1159: {7811, 10245, 38, 7304, 4979, 11414, 12604, 5822}, 2878: {11609, 7842, 11727, 12999}, 1452: {5184, 9890, 9063, 6926, 3575, 4156}, 3027: {9063, 9194, 747, 7787, 8845, 4156}, 2784: {8928, 4624, 3696, 595, 11800, 570, 7550}, 1832: {5184, 3523, 3525, 9063, 6926, 3575, 10622, 5759}, 1079: {5094, 10378, 13131, 8729, 8126, 4735}, 3376: {6050, 4420, 998, 558, 10963, 11577}, 2263: {8995, 12712, 366, 10015, 4828, 671}, 1419: {610, 3109, 7018, 8527, 7826, 3540, 7671}, 3276: {9765, 7045, 4334, 1007, 1435, 5115}, 1060: {2691, 8228, 12933, 5158, 11332, 11012, 7785, 1999, 3952, 3282, 1204, 4916, 7353, 8634, 6207}, 1794: {7585, 9026, 7654, 5323, 7886, 11246, 500, 13399, 919, 1275, 13180}, 3049: {11333, 3817, 873, 11954, 11958, 3158}, 302: {5154, 1667, 9768, 11308, 6990, 111, 10354, 10357, 12662, 9559}, 1394: {7394, 4423, 4522, 8619, 11500, 9196, 12475, 11990, 12281, 11482, 8411, 13247}, 3291: {9338, 8424, 4554, 8015, 6256, 2481, 9364, 3926, 6266, 11644, 10335, 4863}, 1438: {5184, 8457, 3978, 6668, 6926, 8377}, 1878: {4040, 109, 7221, 8093, 1534}, 3088: {3042, 12803, 3140, 1574, 659, 5144}, 2948: {5184, 9063, 9899, 1100, 6926, 3575, 1914}, 648: {2691, 6308, 5543, 3952, 3378, 11384}, 165: {1188, 5606, 10172, 9975, 11388, 5724}, 2018: {8480, 8327, 4360, 8328, 3508, 373}, 1250: {10373, 11173, 9546, 11983, 880, 9199, 11542}, 3148: {7872, 11073, 5281, 5347, 8296, 3130}, 3097: {13188, 13352, 11346, 11928, 9979, 7229}, 2197: {5529, 13100, 2381, 5638}, 2861: {12421, 12678, 6154, 5002, 12688, 8337, 13076, 1301, 11284, 1954, 4782, 7727, 4656, 6602, 9040, 211, 9939, 10600, 7413, 4217, 13309}, 2055: {10560, 12903, 13007, 49, 2259, 9559}, 300: {3043, 38, 10312, 7530, 9006, 10415, 10590}, 2404: {4397, 10353, 11166, 4087, 3070, 7487}, 2721: {10114, 2691, 8614, 7687, 3952, 5872, 13333, 11384}, 349: {2691, 8614, 9930, 3952, 3120, 4916, 13333, 11384}, 287: {7586, 5858, 11311, 2415, 2351, 12851}, 2471: {11334, 9063, 5705, 11086, 9649, 2002, 8498, 12342, 3575, 2331, 11740, 990}, 2114: {4292, 10984, 8400, 9879, 10108, 6302}, 3094: {10531, 12933, 8614, 938, 10063, 3952, 13333}, 2541: {4292, 13097, 13098, 718, 7890, 57, 6717, 13278}, 1235: {9444, 5765, 3690, 3402, 5299, 8756, 2587}, 2356: {5184, 9985, 9063, 7177, 6926, 3575, 3738}, 3368: {2691, 2244, 1606, 8614, 7687, 3952, 4722, 4916}, 366: {12933, 8174, 3952, 13333, 7319, 11384}, 2183: {10240, 4353, 9730, 11267, 7812, 10505, 7052, 10127, 11795, 3097, 13211, 284, 3230, 3746, 11044, 11814, 2983, 1575, 6950, 4142, 1839, 7728, 8497, 7861, 5558, 3895, 2488, 13240, 2360, 2750, 9665, 9410, 5443, 1348, 4165, 4806, 967, 11849, 11723, 5967, 9686, 13272, 11099, 3037, 3551, 4327, 5483, 2158, 241, 7539, 11892, 7924, 1398, 501, 4479}, 1679: {7296, 8865, 3141, 12486, 2761, 4885, 8535}, 1262: {512, 2784, 1960, 7148, 7117, 7886, 10671, 4400, 8398, 5970, 8114, 2261, 9397, 13079, 8149}, 724: {10147, 12933, 8174, 3952, 13333, 9147}, 3383: {38, 1351, 9194, 9843, 5494, 9048, 7388}, 39: {228, 11717, 11911, 2312, 9063, 9194, 3286, 4156}, 402: {9063, 7368, 5705, 12362, 11086, 2331}, 2711: {10791, 6506, 9290, 10062, 4590, 11886, 6355, 12087, 11966}, 2999: {3346, 2199, 11551, 10156, 12462, 7606, 2231, 3515, 9029, 4679, 6857, 6220, 12377, 9314, 1762, 10729, 12524, 3191, 2298, 13180, 12799}, 3062: {7368, 7081, 4520, 11212, 10126, 9458}, 95: {8543, 3373, 12686, 12462, 12377, 8858, 12799}, 396: {1898, 45, 2541, 13040, 636, 9951}, 1364: {7034, 2204, 9029, 5247}, 479: {6209, 3108, 11237, 9637, 4885, 7383}, 2729: {64, 6309, 10342, 9039, 8849, 9978, 5181, 10846}, 1879: {4322, 6862, 1813, 11638, 1528, 350}, 981: {8132, 4648, 2284, 9140, 10171, 4670}, 2809: {2691, 8228, 8614, 3952, 5872, 4916, 13333}, 1730: {5536, 2819, 1737, 652, 3854, 5519, 1968, 852, 9942, 5561, 10746, 13307}, 391: {11587, 9929, 7914, 6706, 6239, 991}, 323: {5217, 2923, 8400, 13041, 13237, 11733, 10108}, 3078: {2340, 804, 12238, 9266, 6587, 10107}, 2306: {2691, 12933, 8174, 3952, 13331, 9147}, 799: {2691, 8228, 8614, 7687, 8174, 5872, 3952, 13333, 539}, 2851: {3776, 9063, 11911, 9194, 8845, 2770, 2652}, 42: {9063, 809, 366, 11420, 2387, 87, 4156}, 2375: {8964, 5448, 13416, 206, 3958, 11575, 3160, 10009, 11065, 2943}, 953: {12225, 11973, 10149, 9771, 12973, 11288, 10331, 191}, 2536: {1541, 8846, 4367, 6929, 12982, 7383}, 217: {9029, 6857, 4361, 5067, 13071, 11311, 3377, 7863, 6008}, 1309: {448, 1255, 11311, 3346, 10042, 4892}, 276: {7200, 12002, 3630, 6800, 9554, 8083, 1622, 2206}, 1338: {5123, 1892, 12012, 7661, 3956, 3640, 4445, 8765}, 3108: {8742, 2855, 6315, 1261, 10448, 4401, 1523, 2068, 3091, 2359, 5367, 4415}, 3196: {3074, 8871, 9191, 2731, 11021, 8439}, 2001: {12072, 8735, 6841, 4506, 732, 7295}, 1603: {2784, 9062, 9497, 13180, 8110, 5778, 11475, 10681, 9500, 3775}, 241: {12516, 7557, 12011, 754, 10681, 6653}, 2933: {4512, 12677, 3790, 7567, 7388, 4061, 12447}, 340: {13281, 9985, 12356, 9063, 2569, 6926, 7375, 5235, 11284, 10453, 10648, 3706}, 2242: {8576, 5703, 9063, 9194, 144, 7865, 4156, 12509}, 202: {6156, 3535, 8559, 11894, 6486, 12637, 6719}, 2123: {4224, 4669, 12292, 3782, 12658, 7922, 1461, 8791, 2424, 1402, 12348, 13146}, 1973: {2691, 8228, 7687, 938, 8174, 3952, 4916, 13333, 5279}, 952: {705, 5830, 7527, 1096, 11657, 296, 10183, 729, 11637, 12825, 5081, 11423}, 3099: {10108, 2314, 8651, 1914, 3484, 7645, 6302}, 1704: {7684, 6158, 5393, 8887, 13180, 2652}, 2434: {10531, 12933, 8614, 938, 8174, 10063, 3952, 13333}, 3168: {8100, 4009, 7019, 12334, 6972, 13374}, 485: {5571, 3621, 12716, 1070, 8625, 13236, 11733}, 2692: {12792, 1033, 4906, 6802, 3700, 2680, 10653}, 3081: {8776, 7368, 12362, 11086, 1529, 1498, 9050}, 3117: {12867, 614, 7023, 5941, 5526, 4569}, 3066: {12673, 2862, 9711, 502, 4282, 5183}, 459: {10657, 11248, 4148, 4693, 10553, 2396}, 308: {7140, 10484, 7357, 856, 186, 2429, 10846, 11583}, 1648: {5411, 9637, 4885, 7383, 2200, 5950}, 2201: {8193, 104, 11121, 49, 8723, 7899}, 392: {10051, 8580, 1994, 4778, 11921, 310}, 1113: {3465, 8234, 13070, 9782, 5150}, 1375: {8614, 938, 3952, 13331, 7319, 9147}, 2441: {2628, 1253, 12684, 6959, 10255, 12690, 8885, 8214}, 2540: {1252, 4747, 12209, 2546, 3765, 3450, 8191}, 739: {7654, 2695, 12847, 7606, 5878, 5982}, 1988: {7045, 10023, 747, 1044, 8890, 13340, 10111}, 281: {5184, 9063, 6926, 3575, 1914, 4156}, 1958: {5184, 9063, 6926, 3575, 4889, 8414}, 544: {7074, 3645, 12261, 6766, 10898, 4765}, 3112: {2691, 8614, 3952, 6064, 4916, 539}, 1048: {5184, 9985, 9063, 6926, 13367, 3575}, 689: {3136, 6785, 5411, 4885, 11004, 5053}, 1759: {5635, 1926, 6534, 6730, 3885, 5359}, 641: {12227, 9029, 2695, 1039, 2415, 11422}, 3305: {2691, 8228, 12933, 3952, 4916, 11384, 8634}, 143: {6274, 9512, 11049, 2031, 605, 8062}, 1951: {4080, 5086, 823, 1723, 8860, 3262}, 403: {11882, 11818, 2162, 2294, 4026, 5950}, 3277: {7624, 9576, 4591, 12591, 9778, 7383}, 3080: {10470, 4263, 10109, 7926, 4155, 1501}, 212: {9063, 1896, 9101, 11921, 310, 3575, 8088, 11930, 4156, 1599}, 134: {6656, 647, 199, 6609, 9175, 10395}, 2314: {10785, 1410, 7841, 7148, 2331, 11615}, 3104: {10882, 12130, 8745, 4074, 3060, 1815}, 1245: {11488, 2304, 8750, 3763, 13213, 2495}, 2064: {768, 4609, 10347, 7919, 7440, 11030, 3738, 6398}, 176: {1701, 10346, 5996, 7661, 9231, 12220}, 153: {7681, 12743, 10861, 5935, 11570, 2422, 13239, 3478, 3961, 7898, 11131, 1500, 11709, 12222}, 1825: {5804, 8751, 9396, 6901, 3093, 853}, 1227: {4577, 8166, 9063, 49, 11249, 4156}, 315: {2850, 12591, 4720, 7383, 9788, 9917, 7582}, 1979: {9063, 2856, 7853, 4156, 6223, 8303, 12438, 3575, 1914, 10108, 7486}, 2600: {8198, 1897, 3227, 4271, 467, 11668, 4630, 9147}, 2370: {2913, 2785, 10441, 5260, 1972, 3766}, 988: {2784, 9063, 6988, 4014, 6101, 3575, 4156}, 166: {10048, 12737, 3811, 6280, 11339, 12462, 1678, 12084}, 2444: {3584, 11495, 7537, 7379, 2997, 8731}, 3195: {2599, 1776, 1530, 9781, 2808, 7322, 3135}, 1841: {1988, 11721, 2349, 5358, 7790, 11791, 2491}, 32: {8709, 2343, 1482, 7692, 2093, 2542, 7703}, 31: {5184, 9063, 6926, 2545, 2259, 3575, 1914, 5851, 4156, 8605}, 2069: {9211, 9012, 6581, 6196, 13083, 13310}, 2526: {8736, 12522, 9898, 12363, 11033, 11742}, 350: {1163, 6828, 13262, 310, 5016, 11930}, 1004: {745, 1038, 335, 8306, 5818, 12893}, 1760: {385, 2695, 4905, 12720, 6706, 53, 11806}, 1484: {12323, 12419, 2122, 9294, 2417, 8186}, 3366: {5312, 2977, 3270, 7950, 1207, 13080, 59, 9150}, 1649: {7331, 13253, 12039, 13192, 11059, 4376, 12092, 5272}, 2825: {4040, 8029, 109, 5363, 2237, 10171, 8093}, 75: {1024, 9029, 6983, 13034, 4242, 11349}, 249: {9029, 7308, 3663, 10704, 3346, 4638}, 400: {6625, 5637, 4297, 7438, 12464, 6387}, 781: {389, 6633, 4041, 9983, 9784, 12415}, 372: {12320, 4293, 7654, 6220, 4241, 5973}, 3370: {4678, 10950, 12296, 11466, 11348, 1974, 10237, 1375}, 1327: {5326, 10287, 7477, 7575, 13402, 7323}, 2081: {4140, 12686, 12437, 8758, 12377, 12799}, 293: {224, 7975, 7114, 4121, 11162, 7998}, 2257: {2691, 1606, 7687, 3952, 11384, 9147}, 1498: {6304, 5473, 2137, 969, 11440, 9753, 1852}, 521: {5184, 9985, 9063, 9801, 7177, 2569, 6668, 6926, 2036, 13367, 5816, 9721}, 672: {8416, 4418, 6456, 7428, 7911, 12462, 4176, 10866, 8694, 1304, 12377, 4157, 6719}, 2024: {4420, 6117, 9001, 2604, 7693, 1694}, 1390: {7368, 11086, 9649, 8755, 6101, 12025, 5625}, 3030: {11840, 2660, 1738, 11887, 1879, 4670}, 112: {4480, 9063, 13330, 10100, 310, 12474, 4156}, 937: {3488, 9188, 2699, 10447, 8208, 1173}, 1398: {11746, 11701, 2103, 7064, 10108, 2367}, 1422: {5184, 9985, 8613, 9063, 6668, 12652, 6926, 3575, 7899, 4156}, 1106: {1083, 13071, 3377, 5075, 2614, 9179}, 1181: {6785, 9637, 7661, 4885, 11670, 8535, 5053}, 1303: {12386, 1765, 9255, 332, 11277, 977, 4691, 11925, 13340}, 1734: {13382, 3246, 10256, 12691, 1883, 8252}, 3095: {3780, 2122, 3791, 11635, 11829, 10236}, 1865: {10082, 809, 13257, 1387, 5289, 4078, 4784, 2258, 7059, 8533, 2232}, 1248: {5026, 6150, 2120, 11981, 9617, 530, 1491, 9588, 1436, 10909}, 1352: {10531, 2691, 8614, 3952, 6064, 4916}, 950: {12933, 3559, 8174, 3952, 2388, 13333}, 551: {2691, 12933, 8174, 3952, 4916, 9147}, 3147: {10464, 6468, 13353, 2316, 12077, 10958, 5296, 6545, 12852, 2676, 8054, 8276, 6685, 4606}, 2232: {11424, 5889, 226, 9315, 4897, 10630, 9704, 13289, 11306, 1355, 4266, 11564, 1680, 6097, 787, 11893, 4696, 8602}, 3333: {13093, 807, 11273, 6349, 8662, 7161}, 1678: {2784, 291, 7368, 490, 12202, 650, 1002, 8075, 1720, 11737, 3639, 11992, 10905, 1755, 10622}, 161: {5640, 9467, 8720, 17, 13203, 5651, 9493, 2966, 9759, 10530, 931, 12580, 41, 12335, 945, 1973, 12213, 566, 6589, 4672, 2004, 11771, 1242, 2144, 737, 4460, 876, 12146, 6011, 6783}, 1164: {513, 9347, 2567, 397, 2190, 5268, 2581, 5527, 4759, 7704, 2460, 2464, 4641, 13090, 10284, 7983, 8242, 2616, 12217, 961, 9285, 10573, 10838, 6489, 5338, 11228, 4581, 7273, 1265, 2933, 4730, 13048, 9337, 8698, 3964, 4222, 12543}, 2804: {2691, 12933, 1606, 3559, 7687, 8174, 3952, 3120, 4916, 13333, 11384}, 1914: {9314, 13127, 6220, 13071, 8849, 4241, 12403, 12377, 186}, 1201: {2784, 7521, 4128, 871, 1678, 2323}, 458: {6208, 7841, 9063, 7368, 5705, 11086, 9649, 1498, 2331, 4156}, 1925: {1344, 10529, 13286, 3528, 12041, 8012, 7598, 12407, 1624, 4121, 1949, 7967}, 2311: {2657, 8900, 38, 6037, 5143, 9851, 668, 10942}, 939: {5184, 9985, 9063, 3978, 6926, 5841, 2164, 7988, 3446, 3575, 4957}, 2806: {2691, 11684, 12933, 9147, 7687, 3952, 4916, 13333, 11384, 539}, 2673: {11165, 8470, 12664, 10140, 11325, 12639}, 1401: {9314, 13127, 8109, 2324, 11349, 666}, 806: {9063, 9194, 8845, 144, 4625, 4156}, 1856: {8231, 3853, 11213, 9276, 3997, 9374}, 3054: {11329, 7329, 12004, 198, 10095}, 875: {6666, 589, 81, 3252, 7414, 10974}, 2089: {642, 9090, 8485, 9063, 7368, 5705, 11086}, 660: {1185, 8961, 1927, 3758, 2461, 1631}, 972: {10084, 8901, 38, 2695, 5261, 2169}, 2830: {1958, 5801, 9227, 7636, 1783, 5271, 1785, 9304}, 2901: {7654, 6730, 10635, 10444, 7925, 3224, 5562}, 578: {11456, 10055, 9834, 10222, 8027, 9404}, 1131: {4832, 8321, 10884, 9300, 13015, 6651}, 2832: {6209, 3108, 11688, 171, 7383, 8894}, 3246: {1728, 13224, 12137, 11407, 4561, 12638}, 2928: {6496, 5413, 12073, 1742, 2993, 6007, 9599}, 681: {12377, 8423, 10697, 13071, 8340, 13049}, 2937: {2850, 2478, 4240, 13264, 3321}, 2701: {6434, 9063, 9384, 3575, 4156, 3133}, 2659: {5184, 9985, 4609, 9063, 6668, 6926, 5390, 3575, 4156}, 2315: {11840, 9922, 2565, 4670, 11210, 11857, 5490, 3319, 10171, 12317, 4062}, 2285: {1468, 5767, 8461, 4014, 8047, 334, 11086, 8882, 12114, 4156, 6101, 12025, 9242, 3708}, 1822: {2691, 8614, 938, 3952, 4916, 13333}, 229: {5184, 4296, 9034, 6926, 1233, 2865, 542}, 1415: {9671, 970, 5103, 2482, 2130, 6611, 9722, 11131}, 1779: {2531, 5739, 270, 6928, 12951, 4382}, 1241: {11840, 1738, 3436, 109, 5678, 7221, 3319, 4670}, 1681: {12132, 9063, 10953, 9649, 3575, 1498, 4156}, 3340: {5963, 171, 495, 8623, 6677, 3036, 11711}, 2177: {1987, 10308, 4292, 13206, 12313, 10076}, 2805: {5080, 6618, 7980, 3423}, 1723: {1666, 9896, 4685, 12686, 11220, 12061}, 1699: {10028, 3469, 398, 3063, 6967, 11034}, 2752: {9649, 12342, 3575, 1498, 2331, 4156}, 2258: {2856, 4592, 6801, 11987, 3575, 280, 5146, 12123, 7261, 2431}, 2331: {9063, 8039, 5675, 5617, 3575, 1914, 5851, 4156}, 3320: {9063, 9194, 747, 12851, 921, 603, 4156, 12509, 9598}, 1359: {9063, 5705, 12402, 8722, 12342, 3575, 11930, 4156}, 964: {7813, 3849, 4239, 3473, 6674, 3860, 13077, 3229, 5283, 8356, 4006, 11560, 12970, 4396, 7341, 5166, 12978, 2484, 5814, 3897, 8122, 2490, 9148, 2621, 8645, 6854, 10693, 2504, 5327, 11219, 6745, 11609, 4316, 3294, 8161, 8426, 10477, 12142, 6127, 11630, 5874, 5109, 12156}, 2565: {1569, 12547, 421, 13189, 12223, 1535, 2700, 10366, 12051, 12790, 1527, 10520, 4537, 12118, 5884, 4350, 9151}, 798: {928, 9092, 6181, 12455, 8844, 11244, 10235}, 1357: {3236, 2404, 9996, 4144, 11996, 12510}, 1301: {9063, 3337, 8651, 5617, 3575, 1914}, 2738: {10531, 8228, 12933, 4718, 8174, 3952, 13333, 3359}, 2840: {9063, 5617, 9557, 12630, 3575, 1914}, 626: {2176, 1446, 1328, 5106, 2525, 10015}, 3077: {10984, 7758, 10926, 9071, 5459, 6619}, 329: {12641, 2663, 1642, 5294, 3566, 9849, 4985, 11706}, 2025: {131, 12324, 2376, 10736, 7386, 8379}, 3225: {4896, 1477, 3118, 7515, 2196, 4603, 9437, 10366}, 2438: {11905, 11913, 1363, 11927, 10748, 12605}, 3252: {1833, 9914, 2195, 1471}, 1304: {12269, 9489, 1169, 10769, 6872, 8636}, 2138: {768, 9063, 6345, 8138, 6349, 6926, 9972}, 2269: {6752, 7936, 12876, 13115, 7068}, 927: {12578, 9063, 264, 4746, 8722, 3575, 3257, 13083, 4156}, 708: {2691, 2085, 8614, 3952, 4916, 12216}, 1026: {5184, 9063, 8457, 6668, 6926, 3575, 5816, 1914, 4156}, 3000: {11718, 843, 4556, 3253, 8215, 2076}, 2661: {8518, 9063, 6801, 6167, 86, 3575, 1914, 10844}, 3023: {8933, 7654, 8968, 1962, 12205, 693}, 1692: {6720, 11840, 1120, 3781, 2374, 4518, 1738, 3436, 9102, 2031, 12567, 10202, 3319, 8093}, 3185: {5060, 9316, 12140, 1997, 11635, 11829, 3448, 4761, 8252}, 2328: {10210, 5092, 1092, 11596, 5368, 12478}, 1448: {4864, 9859, 6275, 7843, 1392, 10129, 4567, 1469}, 1202: {7040, 97, 7777, 6694, 2728, 9134, 8689, 5587, 2711, 7545, 10427, 5630}, 1068: {12482, 4644, 7819, 171, 8535, 12378, 12571, 12735}, 1441: {7783, 1963, 5684, 4053, 8478, 2815}, 452: {2691, 8228, 1227, 12175, 3120, 3952, 4916, 13333, 11384}, 571: {10112, 8546, 903, 12425, 8077, 7644}, 2198: {11235, 12042, 12458, 12811, 7437, 1006, 5930, 9657, 12370, 1561}, 2251: {6592, 9897, 2826, 6416, 3126, 10905}, 1872: {3937, 8739, 163, 1722, 12999, 11047, 6606, 4724, 1240, 2106, 8636, 479}, 2238: {11303, 1834, 13355, 2394, 3098, 1151}, 502: {2695, 3564, 9900, 181, 3679}, 84: {2024, 13175, 8404, 9046, 7351, 442, 1243}, 776: {12933, 8614, 7785, 4718, 8174, 3952}, 2545: {1600, 11140, 9028, 10054, 9610, 9163, 3278}, 250: {12549, 38, 11998, 5682, 9497, 9500, 11806}, 607: {12738, 260, 9631, 6954, 5563, 6143}, 1693: {11840, 5030, 1738, 8267, 8029, 109, 5678, 655, 10832, 8752, 9007, 1879, 8093, 7221, 2237, 10171, 4797}, 3347: {5263, 4561, 6866, 8598, 2619, 5406}, 1146: {9346, 6567, 7434, 12362, 11949, 13180}, 822: {9664, 9063, 5705, 8722, 12342, 3575, 4156}, 2080: {4549, 9126, 11527, 4615, 1929, 5989, 4075, 13295, 11120, 3921, 3890, 1107, 2384, 12599, 11576, 6457, 10397, 446, 3129}, 3124: {10494, 11589, 11017, 3377, 6008, 11897, 10270}, 3052: {12544, 3880, 10568, 7088, 1523, 219, 124}, 240: {4298, 7662, 10225, 12794, 11386, 5755}, 1502: {10114, 10531, 12933, 8614, 3952, 1073, 13333}, 1008: {2691, 7877, 3952, 13333, 8634, 539}, 180: {5411, 2406, 7624, 10481, 4885, 5053}, 1528: {5184, 4609, 8518, 9063, 6926, 3575}, 510: {2853, 11947, 11663, 12504, 730, 9306}, 1307: {484, 12356, 328, 5546, 956, 2044, 914, 1619, 11412, 12946, 2902, 11256, 12921, 4860}, 1195: {2695, 10410, 13356, 3254, 12377, 3550}, 2098: {2274, 10150, 5169, 2263, 1659, 286}, 1703: {9090, 9063, 7368, 5705, 11086, 12342, 5625, 2331}, 1625: {2083, 7368, 11086, 9649, 8755, 9716, 1498}, 1701: {2331, 1720, 5625, 1755, 4156, 10622}, 24: {6083, 12366, 9527, 12250, 6203}, 1509: {8320, 10880, 4, 2954, 13069, 5774, 4753, 7313, 1939, 2580, 11538, 1170, 3729, 1817, 7454, 544, 6178, 1318, 7974, 687, 3767, 5688, 10302, 5056, 2498, 1221, 2249, 7120, 5333, 11734, 343, 8665, 11484, 2399, 9568, 6244, 4329, 6380, 10606, 11506, 2674, 6388, 2037, 8185, 11899}, 1811: {5542, 12558, 4655, 3220, 10389, 5654, 9820}, 2445: {2784, 9063, 10696, 4697, 3575, 2457, 8444}, 2679: {11361, 4836, 12006, 112, 7732, 11060, 9813, 3580, 12862, 9439}, 2881: {4487, 9544, 11533, 2736, 3985, 8596, 2487, 5463}, 2940: {12448, 4099, 1324, 5711, 13201, 3956}, 1991: {13410, 5898, 11467, 1169, 4662, 5052}, 960: {7970, 12205, 7031, 3026, 8980, 6647}, 1594: {3939, 2372, 43, 7282, 13330, 3991}, 123: {2272, 11268, 6730, 1580, 6958, 11569, 2802, 13234, 9748, 8213, 13266, 6679, 13311}, 2732: {11049, 3436, 109, 1879, 3319, 4670}, 665: {9063, 6698, 11437, 2646, 4156, 9791}, 1584: {4545, 7654, 5293, 11310, 10737, 723, 1628}, 146: {5575, 9961, 4813, 976, 6673, 12703}, 425: {3360, 10855, 13321, 2317, 2766, 4468, 4884}, 564: {10114, 2691, 12933, 8174, 3952, 4916, 13333}, 2629: {7427, 8901, 8683, 2572, 10997, 1686, 2462}, 2275: {4837, 5478, 8, 813, 2772, 3671}, 538: {960, 9063, 7368, 5705, 12263, 11086, 9649, 12342, 3575, 1498}, 827: {13156, 7654, 12011, 12462, 11824, 2455, 12377}, 932: {1860, 3238, 11824, 5141, 13180, 8669}, 1508: {195, 1288, 11784, 9000, 5140, 7383}, 713: {1892, 5736, 6034, 5139, 9914, 2075}, 3387: {11200, 12961, 2146, 8771, 1502, 904, 1322, 845, 3987, 8180, 7795, 7510, 13014, 7256, 11230}, 2362: {2691, 12933, 8174, 5872, 3952, 7319}, 404: {5184, 9985, 9063, 3787, 6926, 3575}, 2120: {6080, 12129, 9189, 8400, 13206, 10108}, 172: {800, 11749, 13036, 11024, 8435, 6460}, 2128: {1016, 7257, 1914, 9482}, 2913: {12258, 9251, 10631, 7061, 8919, 1244}, 2612: {10756, 2633, 9995, 6828, 11404, 4191}, 334: {7628, 6253, 5776, 8115, 4121, 4635}, 472: {11840, 1738, 109, 5678, 9007, 2237, 3319, 10171, 8093}, 1234: {8167, 9641, 9643, 6637, 11345, 7349, 695}, 874: {12291, 8515, 9123, 4107, 8400, 10108, 2207}, 2143: {1510, 11132, 7501, 3605, 8376, 1308}, 1773: {10210, 12034, 6537, 9390, 5649, 13400}, 2763: {7654, 12462, 2324, 5301, 5335, 11806}, 1862: {195, 1892, 11365, 9637, 12012, 7661, 8499, 4885, 9717}, 831: {8643, 3045, 7817, 5998, 3347, 13087}, 2935: {8163, 4181, 13366, 5431, 12765, 11263}, 1777: {2691, 12933, 8614, 7687, 3952, 9147}, 441: {6756, 6724, 8774, 5834, 5075, 5628}, 3171: {11971, 1865, 4715, 4588, 4122, 11483}, 1706: {2784, 3104, 9063, 264, 12328, 9211, 12046, 3575, 5560, 4315, 7964, 7901}, 1631: {642, 11717, 8901, 7351, 2024, 1465, 1243, 10449, 8658, 1842, 13175, 7673, 5914, 794, 1823}, 1724: {3840, 6405, 6984, 12361, 3467, 11697, 4734}, 961: {8198, 4271, 6035, 11668, 8147, 3996}, 2040: {12929, 11685, 4583, 7606, 6039, 9626, 1791}, 2347: {7841, 10502, 9063, 7368, 4014, 4156}, 2323: {6724, 8774, 5639, 11464, 5834, 7029, 5628, 8477}, 1617: {11317, 505, 6027, 3003}, 1268: {1920, 9635, 11179, 11757, 9262, 1683, 7604, 9110, 10294, 6712, 9689}, 464: {768, 9063, 7177, 6926, 3575, 7899}, 2479: {7617, 5762, 11651, 4548, 3009, 10023, 4328, 12621, 1806, 11566, 1781}, 115: {12968, 2241, 3402, 9901}, 3302: {9377, 11107, 6953, 4942, 9839, 3408, 1874, 6393}, 797: {3043, 13156, 10084, 4391, 13071, 5437}, 1767: {10784, 2899, 12589, 11397}, 2847: {1441, 6915, 12990, 4999}, 2091: {1028, 7595, 8396, 10095, 12317, 1784, 8093}, 503: {2691, 1829, 3952, 4916, 4092}, 2703: {2691, 12933, 5872, 3952, 4916, 13333}, 2255: {1607, 8561, 13143, 11066, 12029, 6814}, 661: {2691, 10120, 3952, 4916, 13333, 11384}, 181: {2691, 12933, 8174, 3952, 4916, 8634}, 2116: {5184, 9985, 9063, 6668, 6926, 3575, 1914, 4156}, 2722: {3651, 8451, 13380, 12262, 4177, 12918}, 1689: {10592, 1089, 9093, 10248, 6889, 8492, 475, 5851}, 3044: {3296, 2921, 6730, 13261, 7220, 8565, 2325, 4660, 7446, 10844}, 1089: {2691, 12555, 4271, 11668, 4916}, 1297: {2863, 5744, 8054, 1079, 3929, 3647}, 1790: {10561, 12228, 9637, 8535, 8059}, 2325: {3329, 6007, 8722, 3859, 1431, 9511, 681, 8247, 4680, 842, 12623, 10709, 10848, 10849, 5990, 9063, 10089, 9194, 10093, 3575, 12025}, 2785: {643, 3716, 3869, 11083, 6141, 6975}, 1586: {12096, 9637, 3956, 12917, 1339, 4063}, 505: {9063, 13330, 2866, 1364, 310, 3575}, 823: {12640, 6630, 7753, 8844, 4660, 6583}, 2613: {1058, 8423, 6857, 7914, 6706, 6008, 8379, 668, 6525}, 3084: {10531, 2691, 12933, 8174, 3120, 3952, 9147}, 131: {2691, 12933, 8614, 7785, 8174, 3952}, 3353: {12608, 7176, 3881, 555, 1042, 10393, 5276}, 445: {8425, 8458, 5823, 1332, 2104, 5087}, 224: {6241, 1743, 5072, 6576, 2643, 4922}, 2446: {1057, 3655, 3785, 2416, 11257, 1597, 10911}, 469: {5634, 13062, 4237, 11921, 7827, 5790, 8743, 10417, 9271, 7480, 11341, 8654, 6481, 12897, 2149, 5607, 9063, 3050, 12783, 1648, 3575, 3071}, 1728: {7583, 2268, 38, 3148}, 2422: {10721, 3554, 12824, 10668, 10384, 1907, 2071, 5816, 13022, 8127}, 1085: {32, 10500, 5381, 7820, 2864, 6160, 6355, 1235, 7223, 1052, 11933, 8350}, 2094: {5184, 5378, 10253, 559, 11987, 3575, 1914, 8378, 9559}, 2547: {3043, 1843, 11796, 2324, 6104, 8026, 8987, 5916}, 801: {7808, 5185, 3107, 7252, 5434, 413}, 3127: {12261, 10599, 13357, 8831, 3217, 7199}, 57: {4450, 10376, 7475, 7320, 5659}, 2624: {4898, 1873, 4279, 8282, 891, 7166}, 2192: {3968, 3556, 8907, 3800, 12349, 4255}, 1540: {2827, 2091, 4077, 4888, 9372, 4477, 8670}, 3282: {13125, 1480, 5066, 5581, 8434, 1305, 6586}, 2188: {5, 1672, 399, 10898, 5781, 11671, 160, 1317, 12326, 12845, 11185, 5815, 4677, 8646, 10440, 7883, 2893, 2395, 13021, 12779, 7277, 9454, 750, 3315, 5875, 121, 8314}, 504: {9063, 9451, 3053, 5972, 11930, 4156}, 1846: {7841, 8003, 10404, 4292, 6565, 10695, 9960, 5705, 8922, 8496, 8722, 5366, 3575, 2520, 12342, 6330, 8603, 4439}, 983: {4864, 8098, 9859, 1392, 10129, 1469}, 1105: {5184, 9985, 12642, 104, 175, 2259, 3575, 1914}, 2953: {3106, 12584, 2121, 1197, 6703, 12755, 10388, 7956, 6137}, 371: {4008, 9611, 8175, 6390, 9786, 351}, 1677: {6081, 38, 6857, 683, 6510, 12720, 6290, 7863, 12602, 6525, 9470}, 1247: {9063, 5866, 6926, 12817, 3575, 12888, 1914, 9559}, 1429: {2691, 12933, 8174, 3952, 4916, 11384}, 3011: {13316, 11430, 1641, 3915, 8345, 5469}, 303: {9063, 11338, 911, 49, 11249, 10003}, 767: {2691, 8228, 3952, 5872, 13333, 9147}, 779: {3750, 2569, 8524, 4112, 8721, 5816}, 3048: {676, 8008, 1993, 268, 10125, 1486, 8340, 11798, 12377, 5054}, 1605: {4858, 8199, 11857, 6970, 4476}, 1886: {12288, 11874, 3879, 6505, 7338, 5643, 5805, 3407, 5809, 4082, 5811, 757, 409, 3002, 11515, 12158}, 435: {4320, 12617, 1712, 3445, 5885, 5598}, 1127: {6305, 354, 67, 8042, 9483, 13075, 6932, 4793}, 2730: {10115, 4484, 10883, 4056, 11578, 10556}, 2039: {12931, 4012, 12560, 10066, 8568, 1372}, 3372: {10148, 8068, 8584, 1715, 6517, 5311}})\n",
      "<class 'collections.defaultdict'>\n"
     ]
    }
   ],
   "source": [
    "print(eventsForUser)\n",
    "print(type(eventsForUser))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 47,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "<class 'collections.defaultdict'>\n"
     ]
    }
   ],
   "source": [
    "print(type(eventsForUser))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# user_friends.csv"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 48,
   "metadata": {
    "scrolled": false
   },
   "outputs": [],
   "source": [
    "#读取数据\n",
    "\n",
    "\"\"\"\n",
    "  找出某用户的那些朋友\n",
    "  1)如果你有更多的朋友，可能你性格外向，更容易参加各种活动\n",
    "  2)如果你朋友会参加某个活动，可能你也会跟随去参加一下\n",
    "\"\"\"\n",
    " \n",
    "#用户有多少个朋友\n",
    "numFriends = np.zeros((n_users))\n",
    "userFriends = ss.dok_matrix((n_users, n_users))\n",
    "    \n",
    "fin = open(\"user_friends.csv\", 'r')\n",
    "#字段：user，friends\n",
    "fin.readline()                # skip header\n",
    "\n",
    "#ln = 0\n",
    "for line in fin:  #对每个用户        \n",
    "    cols = line.strip().split(\",\")\n",
    "    user = str(cols[0])    #user\n",
    "    \n",
    "    #if userIndex.has_key(user):   #该用户在训练集和测试集的用户列表中\n",
    "    if user in userIndex:\n",
    "        friends = cols[1].split(\" \")  #friends\n",
    "        i = userIndex[user]       #该用户的索引\n",
    "        numFriends[i] = len(friends)\n",
    "        for friend in friends:  #该用户的每个朋友\n",
    "            str_friend = str(friend)\n",
    "            #if userIndex.has_key(str_friend):  #如果朋友也在训练集或测试集中出现\n",
    "            if str_friend in userIndex:\n",
    "                j = userIndex[str_friend]   #朋友的索引\n",
    "            \n",
    "                # the objective of this score is to infer the degree to\n",
    "                # and direction in which this friend will influence the\n",
    "                # user's decision, so we sum the user/event score for\n",
    "                # this user across all training events.\n",
    "            \n",
    "                #userEventScores为用户对活动的打分（interested - not interseted）\n",
    "                #在Users-Events.ipynb中计算好了\n",
    "                eventsForUser = userEventScores.getrow(j).todense()\n",
    "            \n",
    "                #所有朋友参加活动的数量（平均频率）\n",
    "                score = eventsForUser.sum() / np.shape(eventsForUser)[1]\n",
    "                userFriends[i, j] += score\n",
    "                userFriends[j, i] += score\n",
    "            \n",
    "fin.close()\n",
    "    \n",
    "\n",
    "#用户的朋友数目\n",
    "# 归一化数组\n",
    "sumNumFriends = numFriends.sum(axis=0)\n",
    "numFriends = numFriends / sumNumFriends\n",
    "sio.mmwrite(\"UF_numFriends\", np.matrix(numFriends))\n",
    "\n",
    "#\n",
    "userFriends = normalize(userFriends, norm=\"l2\", axis=0, copy=False)\n",
    "sio.mmwrite(\"UF_userFriends\", userFriends)\n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "numFriends应该是每个users拥有的朋友数目  \n",
    "userFriends应该是一个3391x3391的矩阵，里面对应的是两个用户之间的score（类似于用户之间的关系），score可能是共同参加活动的频率  \n",
    "用户的每个朋友参加活动的分数对该用户的影响"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 57,
   "metadata": {
    "scrolled": true
   },
   "outputs": [
    {
     "data": {
      "text/plain": [
       "array([2.43341801e-04, 2.26189956e-04, 1.01571082e-04, ...,\n",
       "       4.40588019e-04, 5.06515423e-05, 6.35154261e-05])"
      ]
     },
     "execution_count": 57,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "numFriends"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 58,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "(3391,)"
      ]
     },
     "execution_count": 58,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "numFriends.shape"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "***测试集和训练集加起来刚好是这么多个users***"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 55,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "3731377.0\n"
     ]
    }
   ],
   "source": [
    "print(sumNumFriends)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 56,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "<class 'numpy.float64'>\n"
     ]
    }
   ],
   "source": [
    "print(type(sumNumFriends))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 50,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "[[0. 0. 0. ... 0. 0. 0.]]\n",
      "<class 'numpy.matrixlib.defmatrix.matrix'>\n"
     ]
    }
   ],
   "source": [
    "print(eventsForUser)\n",
    "print(type(eventsForUser))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 51,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "1.0\n",
      "(1, 13418)\n"
     ]
    }
   ],
   "source": [
    "print(eventsForUser.sum())\n",
    "print(np.shape(eventsForUser))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 52,
   "metadata": {
    "scrolled": true
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "  (2750, 0)\t1.0\n",
      "  (1822, 3)\t0.816496580927726\n",
      "  (2920, 3)\t0.408248290463863\n",
      "  (463, 3)\t0.408248290463863\n",
      "  (543, 5)\t0.8944271909999159\n",
      "  (808, 5)\t0.4472135954999579\n",
      "  (1868, 11)\t1.0\n",
      "  (2573, 12)\t1.0\n",
      "  (3233, 16)\t1.0\n",
      "  (381, 17)\t0.7071067811865475\n",
      "  (3289, 17)\t0.7071067811865475\n",
      "  (1063, 18)\t1.0\n",
      "  (1047, 19)\t1.0\n",
      "  (1059, 20)\t0.5547001962252291\n",
      "  (1460, 20)\t0.8320502943378437\n",
      "  (1109, 22)\t0.485071250072666\n",
      "  (751, 22)\t0.485071250072666\n",
      "  (1231, 22)\t0.7276068751089989\n",
      "  (101, 23)\t1.0\n",
      "  (282, 28)\t1.0\n",
      "  (278, 29)\t1.0\n",
      "  (695, 30)\t1.0\n",
      "  (2860, 31)\t0.7999999999999999\n",
      "  (1486, 31)\t0.6\n",
      "  (490, 34)\t1.0\n",
      "  :\t:\n",
      "  (1655, 3376)\t0.38729833462074165\n",
      "  (1727, 3376)\t0.12909944487358058\n",
      "  (1983, 3376)\t0.12909944487358058\n",
      "  (2024, 3376)\t0.25819888974716115\n",
      "  (2123, 3376)\t0.38729833462074165\n",
      "  (1773, 3376)\t0.25819888974716115\n",
      "  (768, 3376)\t0.25819888974716115\n",
      "  (1530, 3376)\t0.25819888974716115\n",
      "  (903, 3376)\t0.25819888974716115\n",
      "  (1740, 3376)\t0.38729833462074165\n",
      "  (1446, 3376)\t0.38729833462074165\n",
      "  (1288, 3376)\t0.12909944487358058\n",
      "  (1228, 3376)\t0.12909944487358058\n",
      "  (2529, 3379)\t1.0\n",
      "  (2149, 3380)\t1.0\n",
      "  (2099, 3381)\t0.8479983040050879\n",
      "  (3210, 3381)\t0.5299989400031799\n",
      "  (323, 3385)\t0.2773500981126146\n",
      "  (1225, 3385)\t0.46225016352102427\n",
      "  (2073, 3385)\t0.647150228929434\n",
      "  (1231, 3385)\t0.3698001308168194\n",
      "  (2119, 3385)\t0.2773500981126146\n",
      "  (3338, 3385)\t0.2773500981126146\n",
      "  (1854, 3386)\t1.0\n",
      "  (1066, 3387)\t1.0\n"
     ]
    }
   ],
   "source": [
    "print(userFriends)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 59,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "(3391, 3391)"
      ]
     },
     "execution_count": 59,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "userFriends.shape"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 53,
   "metadata": {
    "scrolled": true
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "  (1185, 3575)\t1.0\n",
      "  (384, 4670)\t1.0\n",
      "  (384, 1738)\t1.0\n",
      "  (384, 7221)\t1.0\n",
      "  (1487, 5345)\t1.0\n",
      "  (2891, 12981)\t1.0\n",
      "  (2905, 7542)\t1.0\n",
      "  (2845, 8408)\t1.0\n",
      "  (2845, 423)\t1.0\n",
      "  (2845, 9649)\t1.0\n",
      "  (2845, 7702)\t1.0\n",
      "  (593, 12640)\t1.0\n",
      "  (593, 4589)\t1.0\n",
      "  (228, 3025)\t1.0\n",
      "  (2294, 8758)\t1.0\n",
      "  (2294, 1944)\t1.0\n",
      "  (2294, 5299)\t1.0\n",
      "  (269, 9608)\t1.0\n",
      "  (2777, 5435)\t1.0\n",
      "  (2401, 3153)\t1.0\n",
      "  (824, 3581)\t1.0\n",
      "  (2558, 2164)\t1.0\n",
      "  (2558, 5184)\t1.0\n",
      "  (2558, 3575)\t1.0\n",
      "  (2558, 10955)\t1.0\n",
      "  :\t:\n",
      "  (1429, 11384)\t1.0\n",
      "  (3011, 13316)\t1.0\n",
      "  (303, 911)\t1.0\n",
      "  (767, 13333)\t1.0\n",
      "  (779, 5816)\t1.0\n",
      "  (3048, 268)\t1.0\n",
      "  (3048, 10125)\t1.0\n",
      "  (3048, 5054)\t1.0\n",
      "  (3048, 8008)\t1.0\n",
      "  (3048, 12377)\t1.0\n",
      "  (1605, 4858)\t1.0\n",
      "  (1886, 7338)\t1.0\n",
      "  (1886, 11874)\t1.0\n",
      "  (1886, 3002)\t1.0\n",
      "  (1886, 5809)\t1.0\n",
      "  (1886, 12158)\t1.0\n",
      "  (1886, 5805)\t1.0\n",
      "  (435, 3445)\t1.0\n",
      "  (1127, 6305)\t1.0\n",
      "  (1127, 67)\t1.0\n",
      "  (1127, 4793)\t1.0\n",
      "  (2730, 4484)\t1.0\n",
      "  (2730, 10883)\t1.0\n",
      "  (2039, 12931)\t1.0\n",
      "  (3372, 1715)\t1.0\n"
     ]
    }
   ],
   "source": [
    "print(userEventScores)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.6.4"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}
